Implemented SAT_plan (#198) (ed417956) · Commits · Akram DOUBLI / aima-python

Commit ed417956 rédigé avr. 09, 2016 par

C.G.Vedant Commit de Peter Norvig avr. 08, 2016

* Fixed a typo in logic.py

* Added translate_to_SAT()

* extract solution from model

* added test cases

* removed debug code

parent e594aff8

Veuillez vous inscrire ou vous pour commenter