perl-Algorithm-SAT-Backtracking
Port variant 528
Summary Simple Backtracking SAT solver (5.28)
Package version 0.13
Homepage https://github.com/mudler/Algorithm-Sat-Backtracking
Keywords perl
Maintainer Perl Automaton
License Not yet specified
Other variants 530
Ravenports Buildsheet | History
Ravensource Port Directory | History
Last modified 27 APR 2020, 12:48:07 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_528 ON Build using Perl 5.28 PERL_530 OFF Build using Perl 5.30
Package Dependencies by Type
Build (only) perl-Module-Build-Tiny:single:528
Build and Runtime perl-Hash-Ordered:single:528
perl-5.28: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:528
No other ports depend on this one.