fixpoint_sat

v0.1.7

SAT Solver

HexDocs HexPreview

Readme 1 Dependencies 0 Dependants Activity Versions

Dependencies of fixpoint_sat

1 dependency

Package	Requirement	Status
fixpoint	~> 0.15

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