PV4 Sat4jproduces a satisfiability result for a formula

Java library for boolean satisfaction and optimization problems. It can solve SAT, MAXSAT, Pseudo-Boolean and Minimally Unsatisfiable Subset (MUS) problems.

Application domain/field

Type of tool

Java library that provides access to SAT-related technologies.

Expected input


DIMACS, or Aralia formula?

Expected output

Java Mathematical optimization SAT


Related papers

Last publication date

2 July 2021

ProVerB specific

ProVerB is a part of SLEBoK. Last updated: February 2023.