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
Description
Tags
Last U/L
Maintainer
mios630.0A Minisat-based CDCL SAT solver in Haskell (artificial-intelligence, constraints, gpl, library, program)2017-12-20shnarazk
opencog-atomspace1150.0Haskell Bindings for the AtomSpace. (artificial-intelligence, library)2017-03-28romanT