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


Advertisement

Description

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

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

Provides

  • 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

    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

    • /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
    Advertisement
    Advertisement