Thanks to visit codestin.com
Credit goes to github.com

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

Repository files navigation

SMCHR

SMCHR - Satisfiability Modulo Constraint Handling Rules