Packages

A simple, dependency free boolean satisfiability solver.

Current section

Files

Jump to
simple_sat CHANGELOG.md
Raw

CHANGELOG.md

# Change Log
All notable changes to this project will be documented in this file.
See [Conventional Commits](Https://conventionalcommits.org) for commit guidelines.
<!-- changelog -->
## [v0.1.1](https://github.com/ash-project/simple_sat/compare/v0.1.0...v0.1.1) (2024-03-26)
### Bug Fixes:
* ensure variables come out sorted, as Ash expects that and it won't hurt those that don't
## [v0.1.0](https://github.com/ash-project/simple_sat/compare/v0.1.0...v0.1.0) (2024-02-24)