fixpoint_sat

v0.1.7

SAT Solver

HexDocs HexPreview

Readme 1 Dependencies 0 Dependants Activity Versions

Versions

Version	Published Date	Note
0.1.7	April 11, 2026
0.1.6	April 11, 2026
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

Gleam

erlang.mk

Package Details

Downloads Last 30 days, 0.1.7

this version

16

yesterday

0

last 7 days

8

all time

450

Last Updated

Apr 11, 2026

License

MIT

Build Tools

mix

Publisher

Links

GitHub

Owners

bokner