Packages

simple_sat

0.1.4
0.1.4 0.1.3 0.1.2 0.1.1 0.1.0

A simple, dependency free boolean satisfiability solver.

HexDocs

Current section

Files

Jump to
Readme
5 Versions
0 Dependencies
Dependants
Files
Activity
simple_sat CHANGELOG.md
Raw

CHANGELOG.md 

<!--

SPDX-FileCopyrightText: 2024 simple_sat contributors <https://github.com/ash-project/simple_sat/graphs.contributors>



SPDX-License-Identifier: MIT

-->



# 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.4](https://github.com/ash-project/simple_sat/compare/v0.1.3...v0.1.4) (2025-10-15)









### Bug Fixes:



* Fix Sat Result with Backtrack (#10) by Jonatan Männchen



## [v0.1.3](https://github.com/ash-project/simple_sat/compare/v0.1.2...v0.1.3) (2024-04-06)









### Bug Fixes:



* lower elixir version requirement



## [v0.1.2](https://github.com/ash-project/simple_sat/compare/v0.1.1...v0.1.2) (2024-04-05)









### Bug Fixes:



* fix logic bug for detecting truth when variable is false



## [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)