# 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