perl-Algorithm-SAT-Backtracking
Port variant 530
Summary Simple Backtracking SAT solver (5.30)
Package version 0.13
Homepage https://github.com/mudler/Algorithm-Sat-Backtracking
Keywords perl
Maintainer Perl Automaton
License Not yet specified
Other variants 532
Ravenports Buildsheet | History
Ravensource Port Directory | History
Last modified 16 AUG 2020, 16:19:43 UTC
Port created 14 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_530 ON Build using Perl 5.30 PERL_532 OFF Build using Perl 5.32
Package Dependencies by Type
Build (only) perl-Module-Build-Tiny:single:530
Build and Runtime perl-Hash-Ordered:single:530
perl-5.30:primary:standard
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:530
No other ports depend on this one.