cprop

Constraint Propagation for Binary Programs

About

A simple, solver independent, Constraint Propagation engine for binary programs based on the technical report "Nogood Learning for Mixed Integer Programming", from Sandhol, T. and Shields, R. (2006) [https://www.cs.cmu.edu/~sandholm/nogoodsForMip.techReport06.pdf].

API is documented : here

Name		Name	Last commit message	Last commit date
Latest commit History 60 Commits
docs/html		docs/html
test		test
.gitignore		.gitignore
.ycm_extra_conf.py		.ycm_extra_conf.py
CMakeLists.txt		CMakeLists.txt
Doxyfile		Doxyfile
LICENSE		LICENSE
README.md		README.md
branch.c		branch.c
buildCLANGSanitize.sh		buildCLANGSanitize.sh
buildGenBIP.sh		buildGenBIP.sh
buildOpt.sh		buildOpt.sh
buildRelease.sh		buildRelease.sh
containers.c		containers.c
containers.h		containers.h
cp_cuts.c		cp_cuts.c
cp_cuts.h		cp_cuts.h
cprop.c		cprop.c
cprop.h		cprop.h
cprop.kdev4		cprop.kdev4
cprop_lp.c		cprop_lp.c
cprop_lp.h		cprop_lp.h
genbip.c		genbip.c
lp.cpp		lp.cpp
lp.h		lp.h
macros.h		macros.h
main.c		main.c
memory.c		memory.c
memory.h		memory.h
mincut.c		mincut.c
mincut.h		mincut.h
preprocess.c		preprocess.c
profiler.sh		profiler.sh
relax.c		relax.c
runAll.sh		runAll.sh
runAllBP.sh		runAllBP.sh
strutils.c		strutils.c
strutils.h		strutils.h
summary.csv		summary.csv

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Repository files navigation

cprop

About

About

Releases

Packages

Languages

License

h-g-s/cprop

Folders and files

Latest commit

History

Repository files navigation

cprop

About

About

Resources

License

Stars

Watchers

Forks

Releases

Packages 0

Languages

Packages