Ubuntu Logo packages Skip to content

» Ubuntu » Packages » Package Search Results

You have searched for packages that names contain sat4j in all suites, all sections, and all architectures. Found 1 matching packages.

Exact hits

Package sat4j

• jammy (22.04LTS) (science): Efficient library of SAT solvers in Java [universe]
  2.3.5-0.3: all
• noble (24.04LTS) (science): Efficient library of SAT solvers in Java [universe]
  2.3.5-0.3: all
• plucky (25.04) (science): Efficient library of SAT solvers in Java [universe]
  2.3.6-1: all
• questing (25.10) (science): Efficient library of SAT solvers in Java [universe]
  2.3.6-1: all
• resolute (science): Efficient library of SAT solvers in Java [universe]
  2.3.6-1: all