Packages tagged artificial-intelligence

2 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (2), constraints (1), gpl (1), program (1)

Name
DLs
Rating
Rev Deps
Description
Tags
Last U/L
Last Version
Maintainers
mios170.01A Minisat-based CDCL SAT solver in Haskell (artificial-intelligence, constraints, gpl, library, program)2018-10-071.6.2shnarazk
opencog-atomspace130.01Haskell Bindings for the AtomSpace. (artificial-intelligence, library)2017-03-280.1.0.8romanT