Skip to content

APE 1.1.8 - Improved Class structure and naming
Compare
Choose a tag to compare
@vedran-kasalica vedran-kasalica released this 11 Jun 16:45
v.1.1.8
8117f9e

Improved class structure and naming to support extensions with additional solving techniques. The new structure allows for easy extensions with other (non-SAT) solvers.

Assets 2
Loading