perl-Algorithm-SAT-Backtracking
Port variant 540
Summary Simple Backtracking SAT solver (5.40)
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
Subpackage Descriptions
single A simple Backtracking SAT solver written in pure Perl
Configuration Switches (platform-specific settings discarded)
PERL_538 OFF Build using Perl 5.38 PERL_540 ON Build using Perl 5.40
Package Dependencies by Type
Build (only) perl-Module-Build-Tiny:single:540
Build and Runtime perl-Hash-Ordered:single:540
perl-5.40:primary:std
Download groups
main mirror://CPAN/ID:M/MU/MUDLER
Distribution File Information
cac32761117f3ff50ed51cd593b9570f99de3acc12738fc4ca54b674ff2d0dbb 17581 Algorithm-SAT-Backtracking-0.13.tar.gz
Ports that require perl-Algorithm-SAT-Backtracking:540
No other ports depend on this one.