viaduct
0.3.0
compiler
/
io.github.aplcornell.viaduct.selection
/
SelectionProblemSolver
Selection
Problem
Solver
interface
SelectionProblemSolver
Functions
Inheritors
Functions
solve
Link copied to clipboard
abstract
fun
solve
(
problem
:
SelectionProblem
)
:
ProtocolAssignment
?
Inheritors
Z3SelectionProblemSolver
Link copied to clipboard