compiler/io.github.aplcornell.viaduct.selection/Z3SelectionProblemSolver

Z3SelectionProblemSolver

object Z3SelectionProblemSolver : SelectionProblemSolver

Constraint problem using Z3. Z3 has an optimization module that can return models with minimal cost.

Functions

Link copied to clipboard
open override fun solve(problem: SelectionProblem): ProtocolAssignment?