A Flexible Framework for Integrating Maude and SMT Solvers Using Python.

Geunyeol Yu Kyungmin Bae

Published in: WRLA (2024)

Keyphrases

modulo theories
open source
programming language
data sets
formal specification
genetic algorithm
sat solvers
open source software
equational theories
database
learning algorithm
high level
object oriented
sat instances
development tools