Skip to content

Resolve "return to `Simple` name for simple SAT encodings"

waldmann requested to merge 535-return-to-simple-name-for-simple-sat-encodings into master

Closes #535 (closed)

Merge request reports