sbsat (science/sbsat) Add to my watchlist

A state-based Satisfiability solver.

SBSAT is a software package used primarily for solving instances of a generalization of the well-known Satisfiability problem.

Version: 2.7b License: Permissive GitHub
Maintainers nerdling
Categories science math
Homepage http://gauss.ececs.uc.edu/franco_files/sbsat.html
Platforms freebsd darwin
Variants
  • universal (Build for multiple architectures)

"sbsat" depends on

build (2)

Ports that depend on "sbsat"

No ports


Port Health:

Loading Port Health

Installations (30 days)

0

Requested Installations (30 days)

0

Livecheck error

Error: cannot check if sbsat was updated (Could not resolve host: gauss.ececs.uc.edu)

last updated: 23 hours ago