Boolector

Mathias Preiner
Research Scientist

Talks

Counterexample-Guided Model Synthesis

Counterexample-Guided Model Synthesis

Counterexample-Guided Model Synthesis for Quantified Bit-Vectors

Better Lemmas with Lambda Extraction

Lemmas on Demand for Lambdas