GitHub · Where software is built

Labels Milestones New issue

The function dpll_satisfiable in logic.py requires arguments to be expr-s.

Priority-Medium

#38

· GoogleCodeExporter opened

on Mar 25, 2015

fiind_unit_clause function used by dpll_satisfiable in logic.py has a missing case

Priority-Medium

#35

· GoogleCodeExporter opened

on Mar 25, 2015

ConnectFour- Game: inside actions method - listcomprehension issue causes traceback

Priority-Medium

#37

· GoogleCodeExporter opened

on Mar 25, 2015

search algorithms outside classes ?

Priority-Medium

#32

· GoogleCodeExporter opened

on Mar 25, 2015

alpha beta pruning is incomplete

Priority-Medium

#34

· GoogleCodeExporter opened

on Mar 25, 2015

File missing

Priority-Medium

#33

· GoogleCodeExporter opened

on Mar 25, 2015

Patch for /trunk/games.py

#30

· GoogleCodeExporter opened

on Mar 25, 2015

PriorityQueue implementation is quadratic for our purposes - contains does linear search

Priority-Medium

#31

· GoogleCodeExporter opened

on Mar 25, 2015

MDP: mdp.py infinite loop for gamma = 1

Priority-Medium

#29

· GoogleCodeExporter opened

on Mar 25, 2015

abstract instead of NotImplementedError

Priority-Medium

#27

· GoogleCodeExporter opened

on Mar 25, 2015

Missing Class EnvCanvas in agents.py

Priority-Medium

#18

· GoogleCodeExporter opened

on Mar 25, 2015

ATTENTION: Download of aima-data.2008.08.24.zip appears to contain Worm

Priority-Medium

#17

· GoogleCodeExporter opened

on Mar 25, 2015