solve/it.unibo.tuprolog.solve/classicSolverFactory

classicSolverFactory

expect fun classicSolverFactory(): SolverFactory

Platform-specific lookup of the :solve-classic SolverFactory (backing it.unibo.tuprolog.solve.Solver.prolog/ it.unibo.tuprolog.solve.Solver.classic).

actual fun classicSolverFactory(): SolverFactory

Platform-specific lookup of the :solve-classic SolverFactory (backing it.unibo.tuprolog.solve.Solver.prolog/ it.unibo.tuprolog.solve.Solver.classic).

actual fun classicSolverFactory(): SolverFactory

Platform-specific lookup of the :solve-classic SolverFactory (backing it.unibo.tuprolog.solve.Solver.prolog/ it.unibo.tuprolog.solve.Solver.classic).