Skip to content

added Abstract Converter Class, which is meant to use

Maximilian-Matthias Brokamp requested to merge cnfConversion_dev into main

SMT Solvers or other external Software to convert Expressions, or Queries into a different Format. Currently (and likely in the future), only concrete Implementation of this class is the STPConverter, which can Convert a KLEE Query into a DIMACS CNF String using a modified version of STP.

Merge request reports

Loading