fixpoint_sat

v 0.1.5

SAT Solver

Online Documentation

Readme 1 Dependencies 0 Dependants Activity Versions

Versions

Version	Published Date	Note
0.1.5	November 18, 2025
0.1.4	February 13, 2025
0.1.3	February 13, 2025
0.1.2	November 30, 2024
0.1.1	November 28, 2024

Checksum

Dependency Config

mix.exs

rebar.config

erlang.mk

Package Details

Downloads Last 30 days, 0.1.5

this version

52

yesterday

0

last 7 days

10

all time

394

Last Updated

Nov 18, 2025

License

MIT

Build Tools

mix

Publisher

Links

GitHub

Owners

bokner