1.5.1-dev02-c0569c38e

Target filter

common

Search in API

Skip to content

documentation

test-solve/it.unibo.tuprolog.solve/TestDirectivesImpl/testSolve1

testSolve1

open override fun testSolve1()

Same as testInitialization1, but for the solve/1 directive instead of initialization/1.

Generated by Dokka

© 2026 Copyright