cnf-parser 0.1.1

Efficient and customizable CNF parser for SAT solving.
Documentation
1
2
3
4
5
6
7
8
9
# Release Notes

## 0.1.1 - 2020/07/26

- Fix bug that lines after empty comment lines were skipped.

## 0.1.0 - 2020/07/19

- Initial release