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 |
|---|---|---|---|---|---|---|---|---|
| mios | 16 | 0.0 | 1 | A Minisat-based CDCL SAT solver in Haskell | (artificial-intelligence, constraints, gpl, library, program) | 2018-10-07 | 1.6.2 | shnarazk |
| opencog-atomspace | 3 | 0.0 | 1 | Haskell Bindings for the AtomSpace. | (artificial-intelligence, library) | 2017-03-28 | 0.1.0.8 | romanT |