Haskell and Scala translations of Truth Maintenance Systems and other tools from Forbus and de Kleer's Building Problem Solvers.
- artificial-intelligence
- scala
- search
- tms
- jtms
- forbus-dekleer
- ai
- building-problem-solvers
- ai-algorithms
- atms
- truth-maintenance
- artificial-intelligence-algorithms
Scala versions:
3.x
bps-scala 0.1.0
Group ID:
org.maraist
Artifact ID:
bps-scala_3
Version:
0.1.0
Version Scheme:
Release Date:
Feb 17, 2022
Licenses:
Files:
Full Scala Version:
3.1.0
Developers:
libraryDependencies += "org.maraist" %% "bps-scala" % "0.1.0"
ivy"org.maraist::bps-scala:0.1.0"
//> using dep "org.maraist::bps-scala:0.1.0"
import $ivy.`org.maraist::bps-scala:0.1.0`
<dependency> <groupId>org.maraist</groupId> <artifactId>bps-scala_3</artifactId> <version>0.1.0</version> </dependency>
compile group: 'org.maraist', name: 'bps-scala_3', version: '0.1.0'