fzn2omt

Compiler from FlatZinc to SMT-LIB with Optimization Modulo Theories extensions

Name		Name	Last commit message	Last commit date
Latest commit History 11 Commits
api		api
objectives		objectives
optsearch		optsearch
parser		parser
terms		terms
test		test
toplevel		toplevel
utils		utils
.gitignore		.gitignore
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
configuration.cpp		configuration.cpp
configuration.h		configuration.h
main.cpp		main.cpp
msatconfig.h		msatconfig.h

Provide feedback