Contents

# Ver. 0.2.0 (Mar 27, 2016)
- Introduce incremental solver
- requires `prop_logic >= 0.2.0`

# Ver. 0.1.0 (Jan 18, 2016)
- Initial version

Version data entries

1 entries across 1 versions & 1 rubygems

Version	Path
prop_logic-minisat-0.2.0	CHANGELOG.md