solve/it.unibo.tuprolog.solve/Solver/Companion

Companion

object Companion
Content copied to clipboard

Properties

Link copied to clipboard
@JvmStatic
val classic: SolverFactory
Content copied to clipboard
Link copied to clipboard
@JvmStatic
val problog: SolverFactory
Content copied to clipboard
Link copied to clipboard
@JvmStatic
val prolog: SolverFactory
Content copied to clipboard
Link copied to clipboard
@JvmStatic
val streams: SolverFactory
Content copied to clipboard