v 0.17.5
Constraint Programming Solver
SAT Solver
Published 488 days ago
mix.exs
rebar.config
erlang.mk
this version
26
yesterday
8
last 7 days
439
all time
18 212
Last Updated
Mar 24, 2026
License
MIT
Build Tools
Publisher