- homepage for pypi - readme with instalation and usage instructions
0.0.3
0.0.2
- drop dev requirements
0.0.1
- aggregate: confusion metrics - dataset: datasets that comprise of CNFs and classifications of CNF - satisfy: brute force for satisfiability - struct: definitions of CNFs - validation: validate algorithms against dataset - examples on how to use validator