search

Toxaris / variational

2 stars 1 forks source link

Parse DIMACS files #1

Closed Toxaris closed 13 years ago

Toxaris commented 13 years ago

Add a method BDD.fromDIMACS(filename : String) : BDD to parse a propositional formula in DIMACS format into a BDD.

This could be used for both tests and benchmarks, because DIMACS files with known properties are available.

Toxaris commented 13 years ago

Implemented in BDD.parseDIMACS(source : Source) : BDD.