perl-Algorithm-SAT-Backtracking-0.13-alt1.noarch.rpm


Advertisement

Description

perl-Algorithm-SAT-Backtracking - A simple Backtracking SAT solver written in pure Perl

Property Value
Distribution ALT Linux Sisyphus
Repository Autoimports noarch
Package name perl-Algorithm-SAT-Backtracking
Package version 0.13
Package release alt1
Package architecture noarch
Package type rpm
Installed size 52.84 KB
Download size 52.84 KB
Official Mirror ftp.altlinux.org
Algorithm::SAT::Backtracking is a pure Perl implementation of a simple SAT Backtracking solver.
In computer science, the Boolean Satisfiability Problem (sometimes called Propositional Satisfiability Problem and abbreviated as *SATISFIABILITY* or *SAT*) is the problem of determining if there exists an interpretation that satisfies a given Boolean formula. In other words, it asks whether the variables of a given Boolean formula can be consistently replaced by the values TRUE or FALSE in such a way that the formula evaluates to TRUE.
If this is the case, the formula is called satisfiable. On the other hand, if no such assignment exists, the function expressed by the formula is identically FALSE for all possible variable assignments and the formula is unsatisfiable.
For example, the formula "a AND NOT b" is satisfiable because one can find the values a = TRUE and b = FALSE, which make (a AND NOT b) = TRUE. In contrast, "a AND NOT a" is unsatisfiable. More: https://en.wikipedia.org/wiki/Boolean_satisfiability_problem .
Look also at the test file for an example of usage.
the Algorithm::SAT::Expression manpage use this module to solve Boolean expressions.

Alternatives

Package Version Architecture Repository
perl-Algorithm-SAT-Backtracking - - -

Requires

Name Value
/usr/share/perl5 -
perl(Data/Dumper.pm) -
perl(Hash/Ordered.pm) -
perl(List/Util.pm) -
perl(Storable.pm) -
perl(base.pm) -
rpmlib(PayloadIsLzma) -

Provides

Name Value
perl(Algorithm/SAT/Backtracking.pm) = 0.130
perl(Algorithm/SAT/Backtracking/DPLL.pm) = 0.130
perl(Algorithm/SAT/Backtracking/DPLLProb.pm) = 0.130
perl(Algorithm/SAT/Backtracking/Ordered.pm) = 0.130
perl(Algorithm/SAT/Backtracking/Ordered/DPLL.pm) = 0.130
perl(Algorithm/SAT/Expression.pm) = 0.130
perl-Algorithm-SAT-Backtracking = 0.13-alt1

Download

Type URL
Binary Package perl-Algorithm-SAT-Backtracking-0.13-alt1.noarch.rpm
Source Package perl-Algorithm-SAT-Backtracking-0.13-alt1.src.rpm

Install Howto

  1. Add the following line to /etc/apt/sources.list:
    
    rpm [Sisyphus] http://ftp.altlinux.org/pub/distributions/ALTLinux/autoimports/Sisyphus noarch autoimports
    rpm [Sisyphus] http://ftp.altlinux.org/pub/distributions/ALTLinux/autoimports/Sisyphus noarch autoimports
    
  2. Update the package index:
    # sudo apt-get update
  3. Install perl-Algorithm-SAT-Backtracking rpm package:
    # sudo apt-get install perl-Algorithm-SAT-Backtracking

Files

Path
/usr/share/doc/perl-Algorithm-SAT-Backtracking-0.13/Changes
/usr/share/doc/perl-Algorithm-SAT-Backtracking-0.13/LICENSE
/usr/share/doc/perl-Algorithm-SAT-Backtracking-0.13/README.md
/usr/share/perl5/Algorithm/
/usr/share/perl5/Algorithm/SAT/Backtracking.pm
/usr/share/perl5/Algorithm/SAT/Expression.pm
/usr/share/perl5/Algorithm/SAT/Backtracking/DPLL.pm
/usr/share/perl5/Algorithm/SAT/Backtracking/DPLLProb.pm
/usr/share/perl5/Algorithm/SAT/Backtracking/Ordered.pm
/usr/share/perl5/Algorithm/SAT/Backtracking/Ordered/DPLL.pm

See Also

Package Description
perl-Algorithm-SIN-0.08-alt1.noarch.rpm Interface to Canada's Social Insurance Number
perl-Algorithm-Scale2x-0.04-alt1.noarch.rpm Generic implementation of the Scale2x algorithm
perl-Algorithm-Search-0.04-alt1_4.noarch.rpm Module for traversing an object
perl-Algorithm-SetCovering-0.05-alt1.noarch.rpm perl module Algorithm-SetCovering
perl-Algorithm-Shape-RandomTree-0.01-alt1.noarch.rpm perl module Algorithm-Shape-RandomTree
perl-Algorithm-Simplex-0.44-alt1.noarch.rpm Simplex Algorithm Implementation using Tucker Tableaux
perl-Algorithm-SixDegrees-0.03-alt1.noarch.rpm Find a path through linked elements in a set
perl-Algorithm-SkipList-1.02-alt1.noarch.rpm Perl implementation of skip lists
perl-Algorithm-SlopeOne-0.004-alt1.noarch.rpm Slope One collaborative filtering for rated resources
perl-Algorithm-SocialNetwork-0.07-alt1.noarch.rpm Social Network Analysis
perl-Algorithm-SpiralSearch-1.20-alt1.noarch.rpm perl module Algorithm-SpiralSearch
perl-Algorithm-Step-0.02-alt1.noarch.rpm Trace execution steps of an algorithm
perl-Algorithm-TSort-0.05-alt1.noarch.rpm Perl extension for topological sort
perl-Algorithm-TokenBucket-0.38-alt1.noarch.rpm Token bucket rate limiting algorithm
perl-Algorithm-Toy-HashSC-0.01-alt1.noarch.rpm toy separate chain hash implementation
Advertisement
Advertisement