added Abstract Converter Class, which is meant to use (!2) · Merge requests · Maximilian-Matthias Brokamp / KLEE

Maximilian-Matthias Brokamp requested to merge cnfConversion_dev into main Jan 08, 2024

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.

added Abstract Converter Class, which is meant to use

Merge request reports