1 # Buildsheet autogenerated by ravenadm tool -- Do not edit.
3 NAMEBASE= perl-Algorithm-SAT-Backtracking
7 SDESC[530]= Simple Backtracking SAT solver (5.30)
8 SDESC[528]= Simple Backtracking SAT solver (5.28)
9 HOMEPAGE= https://github.com/mudler/Algorithm-Sat-Backtracking
10 CONTACT= Perl_Automaton[perl@ironwolf.systems]
13 SITES[main]= CPAN/ID:M/MU/MUDLER
14 DISTFILE[1]= Algorithm-SAT-Backtracking-0.13.tar.gz:main
19 OPTIONS_AVAILABLE= PERL_530 PERL_528
20 OPTIONS_STANDARD= none
21 VOPTS[530]= PERL_530=ON PERL_528=OFF
22 VOPTS[528]= PERL_530=OFF PERL_528=ON
24 DISTNAME= Algorithm-SAT-Backtracking-0.13
30 [PERL_528].BUILDRUN_DEPENDS_ON= perl-Hash-Ordered:single:528
31 [PERL_528].BUILD_DEPENDS_ON= perl-Module-Build-Tiny:single:528
32 [PERL_528].USES_ON= perl:528,configure
34 [PERL_530].BUILDRUN_DEPENDS_ON= perl-Hash-Ordered:single:530
35 [PERL_530].BUILD_DEPENDS_ON= perl-Module-Build-Tiny:single:530
36 [PERL_530].USES_ON= perl:530,configure
38 [FILE:55:descriptions/desc.single]
39 A simple Backtracking SAT solver written in pure Perl
44 cac32761117f3ff50ed51cd593b9570f99de3acc12738fc4ca54b674ff2d0dbb 17581 Algorithm-SAT-Backtracking-0.13.tar.gz