Indexed Artifacts (25.4M)

Popular Categories

Artifacts using SAT4J Core (30)

Sort: popular | newest
The pb library contains algorithms for solving pseudo boolean optimization problems.
Last Release on Dec 16, 2020
Equinox Provisioning Director
Last Release on May 15, 2020
Applicabilities Proofs Core.
Last Release on Jan 15, 2022
Tweety (Propositional Logic)
Last Release on Jul 14, 2020
FeatureExprLib
Last Release on Jan 12, 2019
TweetyProject (Propositional Logic)
Last Release on Aug 4, 2021
SAT4J Maxsat
Last Release on Dec 16, 2020
The SAT decoding module for Opt4J
Last Release on Nov 28, 2015
Equinox Provisioning Director
Last Release on Sep 15, 2021