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
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

Navigation Menu

Repository navigation

About

Repository files navigation

cprop

About

About

Releases

Packages

Contributors

Languages

Latest commit

History

Folders and files

Repository files navigation

cprop

About

About

Resources

Stars

Watchers

Forks

Releases

Packages

Contributors

Languages