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

Format:

DIMACS, or Aralia formula?

Expected output

Java Mathematical optimization SAT

Links

Related papers

Last publication date

2 July 2021

ProVerB specific



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