Skip to content

Releases: j-danner/2-Xornado

2-Xornado - v1.0.2

14 Aug 11:45
Compare
Choose a tag to compare

Release used for benchmarking in paper 'SAT Solving Using XOR-OR-AND Normal Forms'