Name		Name	Last commit message	Last commit date
Latest commit History 14 Commits
z3		z3
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
main.go		main.go
sudoku.go		sudoku.go

Repository files navigation

Go bindings for the Z3 SMT solver

This package is work in progress.

About

Go bindings for the Z3 SMT solver

Report repository

Releases

No releases published

Packages

No packages published

Languages

Go 100.0%