all options
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Source: minisat2  ]

Package: minisat (1:2.2.1-5 and others)

Links for minisat

Screenshot

Debian Resources:

Download Source Package minisat2:

Maintainer:

External Resources:

Similar packages:

risolutore SAT leggero e veloce

Nonostante la completezza NP del problema di soddisfacibilità delle formule booleane (SAT), i risolutori SAT sono spesso in grado di decidere questo problema in un lasso di tempo ragionevole. Siccome tutti gli altri problemi NP completi sono riducibili a SAT, i risolutori sono diventati uno strumento di uso generale per questa classe di problemi.

MiniSat è un risolutore SAT open source e minimale, sviluppato per aiutare sia i ricercatori sia gli sviluppatori a iniziare con SAT. Vincitore di tutte le categorie industriali della competizione SAT 2005, MiniSat è un buon punto di partenza per la ricerca futura su SAT e per le applicazioni che usano SAT.

Tags: Field: Mathematics, Implemented in: C++, implemented-in::java, role::program

Other Packages Related to minisat

  • depends
  • recommends
  • suggests
  • enhances

Download minisat

Download for all available architectures
Architecture Version Package Size Installed Size Files
mipsel 1:2.2.1-5+b3 89.0 kB401.0 kB [list of files]