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
Platforms freebsd darwin
  • 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)


Requested Installations (30 days)


Livecheck error

Error: cannot check if sbsat was updated (Could not resolve host:

last updated: 23 hours ago