GitHub - deeglaze/Typed-Racket-SMT-type-checker: An SMT solver with an interactive interface so it can be used as an inference engine.

deeglaze / Typed-Racket-SMT-type-checker Public

An SMT solver with an interactive interface so it can be used as an inference engine.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 10 Commits
scribblings		scribblings
theories/QF_EUF		theories/QF_EUF
bcp.rkt		bcp.rkt
data-structures.rkt		data-structures.rkt
debug.rkt		debug.rkt
dimacs.rkt		dimacs.rkt
example.rkt		example.rkt
heuristic-constants.rkt		heuristic-constants.rkt
info.rkt		info.rkt
learned-clauses.rkt		learned-clauses.rkt
prop2cnf.rkt		prop2cnf.rkt
sat-heuristics.rkt		sat-heuristics.rkt
sat-solve.rkt		sat-solve.rkt
simplify.rkt		simplify.rkt
smt-interface.rkt		smt-interface.rkt
smt-solve.rkt		smt-solve.rkt
statistics.rkt		statistics.rkt
struct-with-set.rkt		struct-with-set.rkt
theory-solver.rkt		theory-solver.rkt
ts-data-structures.rkt		ts-data-structures.rkt
types.rkt		types.rkt