SMCHR

SMCHR - Satisfiability Modulo Constraint Handling Rules

Name		Name	Last commit message	Last commit date
Latest commit History 9 Commits
doc		doc
test		test
tools		tools
Makefile		Makefile
README.md		README.md
backend.c		backend.c
backend.h		backend.h
cons.c		cons.c
debug.c		debug.c
debug.h		debug.h
event.c		event.c
expr.c		expr.c
expr.h		expr.h
gc.c		gc.c
gc.h		gc.h
hash.c		hash.c
hash.h		hash.h
log.c		log.c
log.h		log.h
main.c		main.c
map.h		map.h
misc.c		misc.c
misc.h		misc.h
names.c		names.c
names.h		names.h
op.c		op.c
op.h		op.h
options.c		options.c
options.h		options.h
parse.c		parse.c
parse.h		parse.h
pass_cnf.c		pass_cnf.c
pass_cnf.h		pass_cnf.h
pass_flatten.c		pass_flatten.c
pass_flatten.h		pass_flatten.h
pass_rewrite.c		pass_rewrite.c
pass_rewrite.h		pass_rewrite.h
plugin.c		plugin.c
plugin.h		plugin.h
prompt.c		prompt.c
prompt.h		prompt.h
prop.c		prop.c
release-smchr.sh		release-smchr.sh
sat.c		sat.c
sat.h		sat.h
server.c		server.c
server.h		server.h
set.h		set.h
show.c		show.c
show.h		show.h
smchr.c		smchr.c
smchr.h		smchr.h
solver.c		solver.c
solver.h		solver.h
solver_bounds.c		solver_bounds.c
solver_bounds.h		solver_bounds.h
solver_chr.c		solver_chr.c
solver_chr.h		solver_chr.h
solver_dom.c		solver_dom.c
solver_dom.h		solver_dom.h
solver_eq.c		solver_eq.c
solver_eq.h		solver_eq.h
solver_heaps.c		solver_heaps.c
solver_heaps.h		solver_heaps.h
solver_linear.c		solver_linear.c
solver_linear.h		solver_linear.h
stats.c		stats.c
stats.h		stats.h
store.c		store.c
store.h		store.h
term.c		term.c
term.h		term.h
trail.c		trail.c
tree.c		tree.c
tree.h		tree.h
typecheck.c		typecheck.c
typecheck.h		typecheck.h
var.c		var.c
word.h		word.h

GJDuck/SMCHR