compiler/edu.cornell.cs.apl.viaduct.selection/Z3Selection

Z3Selection

class Z3Selection : SelectionProblemSolver
Content copied to clipboard

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

Constructors

Z3Selection
Link copied to clipboard
fun Z3Selection()
Content copied to clipboard

Types

Companion
Link copied to clipboard
object Companion
Content copied to clipboard

Functions

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

Protocol selection.