Released: Oct 23, 2015
Blasting of XOR clauses in DIMACS files.
View statistics for this project via Libraries.io, or by using our public dataset on Google BigQuery
License: GPL-3.0
Author: Alexander Weigl
UNKNOWN
0.5
Oct 23, 2015
Supported by