Skip to content

GitLab Next

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

X

XorEngine

Project information

XorEngine is a propagator for xor or parity constraints, with intended use in SAT and related areas such as PB solving, constraint programming etc. XorEngine also supports generating proofs in DRAT and PBP.

97 Commits
1 Branch
1 Tag

MIT License

Created on

December 15, 2020

Loading