Packages tagged artificial-intelligence

2 packages have this tag.

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

Show entries

Filter:

Name	DLs	Rating	Rev Deps	Description	Tags	Last U/L	Last Version	Maintainers
mios	6	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	7	0.0	1	Haskell Bindings for the AtomSpace.	(artificial-intelligence, library)	2017-03-28	0.1.0.8	romanT

Showing 1 to 2 of 2 entries