Port variant | 540 |
Summary | Simple Backtracking SAT solver (5.40) |
BROKEN | |
Package version | 0.13 |
Homepage | https://github.com/mudler/Algorithm-Sat-Backtracking |
Keywords | perl |
Maintainer | Perl Automaton |
License | Not yet specified |
Other variants | 538 |
Ravenports | Buildsheet | History |
Ravensource | Port Directory | History |
Last modified | 20 JUN 2024, 02:19:47 UTC |
Port created | 15 JUN 2017, 04:26:08 UTC |
single | A simple Backtracking SAT solver written in pure Perl |
Build (only) | perl-Module-Build-Tiny:single:540 |
Build and Runtime |
perl-Hash-Ordered:single:540 perl-5.40:primary:std |
main | mirror://CPAN/ID:M/MU/MUDLER |
No other ports depend on this one. |