Changelog

All notable changes to this project will be documented in this file.

[0.3.0]

Adding support for the BiOptSat (Sat-Unsat) algorithm
Core boosting

[0.2.0]

Adding support for the lower-bounding algorithm
Restructured CLI

[0.1.0]

First version implementing the P-minimal algorithm