Satisfiability Modulo Custom Theories in Z3
Nikolaj Bjørner, Clemens Eisenhofer, Laura Kovács
Topics & Concepts
Computer scienceSatisfiability modulo theoriesCallbackProgramming languageAxiomModuloTheoretical computer scienceSatisfiabilityFeature (linguistics)SolverDiscrete mathematicsMathematicsGeometryLinguisticsPhilosophyFormal Methods in VerificationLogic, programming, and type systemsSoftware Testing and Debugging Techniques