perl-Algorithm-SAT-Backtracking
Port variant 536
Summary Simple Backtracking SAT solver (5.36)
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 05 AUG 2023, 23:28:01 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_536 ON Build using Perl 5.36 PERL_538 OFF Build using Perl 5.38
Package Dependencies by Type
Build (only) perl-Module-Build-Tiny:single:536
Build and Runtime perl-Hash-Ordered:single:536
perl-5.36: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:536
No other ports depend on this one.