iz3iz3 is a z3+js kernel for the Jupyter notebookz3iz3javascriptkernelipythonjupyterzblack5.2.1 • Published 5 months ago
smtliblibAn SMTLIBv2 parser and ASTsmtlibsmtlibv2parserparseastz3solver1.0.19 • Published 4 years ago
grilopsA Grid Logic Puzzle Solver library, using Typescript and z3.puzzlesolverlogicz3typescriptsat0.1.2 • Published 6 months ago