Online Repository for "Watched Propagation of 0-1 Integer Linear Constraints"

# Watched Propagation of 0-1 Integer Linear Constraints

Online repository.

Directory structure:

- binary: statically compiled RoundingSat binary, compatible with 64 bit Linux, used for the experiments.
- code: source code of the approach.
- data: raw .csv data files of the experiments.
- plots: a superset of the plots in the paper.
- proofs: an appendix with proof sketches for the invariants of the algorithm.