PV4 ⊧ Sat4jproduces a satisfiability result for a formulaJava library for boolean satisfaction and optimization problems. It can solve SAT, MAXSAT, Pseudo-Boolean and Minimally Unsatisfiable Subset (MUS) problems.
- SAT-based solvers
- MaxSAT problems
- Optimization problems
Type of toolJava library that provides access to SAT-related technologies.
Format:DIMACS, or Aralia formula?
UNSATISFIABLEif it is unsatisfiable
- it may cause an exception if e.g. a timeout occurs