altanh / colocolo Goto Github PK
View Code? Open in Web Editor NEWThis project forked from jamesbornholt/ocelot
A synthesis-enabled solver for relational logic
Home Page: http://jamesbornholt.github.io/ocelot
License: BSD 2-Clause "Simplified" License