commonMain.it.unibo.tuprolog.solve.stdlib.primitive.AssertA.kt Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of solve-jvm Show documentation
Show all versions of solve-jvm Show documentation
Resolution-agnostic API for logic solvers
package it.unibo.tuprolog.solve.stdlib.primitive
object AssertA : AbstractAssert("a", true)