fixpoint_sat

0.1.1

0.1.8 0.1.7 0.1.6 0.1.5 0.1.4 0.1.3 0.1.2 0.1.1

SAT Solver

HexDocs HexPreview

Current section

1 Dependency

Jump to

Readme 8 Versions 1 Dependency 0 Dependants Activity

Dependencies of fixpoint_sat

1 dependency

Package	Requirement
fixpoint	>= 0.9.0

Checksum

Dependency Config

mix.exs

rebar.config

Gleam

erlang.mk

Package Details

Downloads Last 30 days, all versions

this version

82

yesterday

6

last 7 days

50

all time

508

Last Updated

Nov 28, 2024

License

MIT

Build Tools

mix

Publisher

Links

GitHub

Owners

bokner