perl-Algorithm-SAT-Backtracking
Port variant 534
Summary Simple Backtracking SAT solver (5.34)
Package version 0.13
Homepage https://github.com/mudler/Algorithm-Sat-Backtracking
Keywords perl
Maintainer Perl Automaton
License Not yet specified
Other variants 536
Ravenports Buildsheet | History
Ravensource Port Directory | History
Last modified 14 OCT 2022, 17:40:12 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_534 ON Build using Perl 5.34 PERL_536 OFF Build using Perl 5.36
Package Dependencies by Type
Build (only) perl-Module-Build-Tiny:single:534
Build and Runtime perl-Hash-Ordered:single:534
perl-5.34: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:534
No other ports depend on this one.