Commits · b9149df8a365bbb0e9a59bf08a82c3ae3c6fa4c0 · Akram DOUBLI / aima-python

C.G.Vedant a écrit avr. 09, 2016

* Fixed a typo in logic.py

* Added translate_to_SAT()

* extract solution from model

* added test cases

* removed debug code

ed417956

05 avr., 2016 1 validation
- Run doctests · fd51088a
  Peter Norvig a écrit avr. 04, 2016
  
  fd51088a
31 mar., 2016 1 validation
- modified the variable name 'vars' which is builtin name to 'variables' through out the repo · 3658b5ba
  SnShine a écrit mar. 31, 2016
  
  3658b5ba
26 mar., 2016 1 validation
- Added WalkSAT · b2a9dc77
  Chipe1 a écrit mar. 26, 2016
  
  b2a9dc77
22 mar., 2016 1 validation
- Add tests for the conditions in Fig. 7.2 of the Wumpus World · 4f343390
  Chirag Vartak a écrit mar. 22, 2016
  
  4f343390
18 mar., 2016 2 validations
- replaced old undefined function and added new test · bdeab0c9
  Chipe1 a écrit mar. 18, 2016
  
  bdeab0c9
- Fixed bug in logic.py and added more tests · a38098f4
  Chipe1 a écrit mar. 18, 2016
  
  a38098f4
17 mar., 2016 2 validations
- added a new test and fixed an old test · e03f8d78
  Chipe1 a écrit mar. 17, 2016
  
  e03f8d78
- Fixed wrong name in test_logic · 6bf77172
  Chipe1 a écrit mar. 17, 2016
  
  6bf77172
16 mar., 2016 1 validation
- added some tests for logic.py · 71950013
  Chipe1 a écrit mar. 16, 2016
  
  71950013