The Cosette Disprover

This is the couter-example enumeration part of the Cosette solver (fork of the less maintained codebase here).

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
LICENSE		LICENSE
README.md		README.md
cosette.rkt		cosette.rkt
denotation.rkt		denotation.rkt
equal.rkt		equal.rkt
evaluator.rkt		evaluator.rkt
qex-test-server.rkt		qex-test-server.rkt
relation.rkt		relation.rkt
server.rkt		server.rkt
sql.rkt		sql.rkt
symmetry.rkt		symmetry.rkt
syntax.rkt		syntax.rkt
table.rkt		table.rkt
test-server.rkt		test-server.rkt
test-util.rkt		test-util.rkt
util.rkt		util.rkt

Navigation Menu