An interactive development environment for SMT-LIB files and Z3
zv
Go (golang) bindings for Picosat, the satisfiability solver
wkschwartz
