* Revert "reformulated the map coloring problem"

This reverts commit 20ab0e5afa238a0556e68f173b07ad32d0779d3b.

* Revert "fixed typo errors and removed unnecessary brackets"

This reverts commit f743146c43b28e0525b0f0b332faebc78c15946f.

* Revert "added map coloring SAT problems"

This reverts commit 9e0fa550e85081cf5b92fb6a3418384ab5a9fdfd.

* Revert "removed useless doctest for AC4 in Sudoku because AC4's tests are already present in test_csp.py"

This reverts commit b3cd24c511a82275f5b43c9f176396e6ba05f67e.

* Revert "added doctest in Sudoku for AC4 and and the possibility of choosing the constant propagation algorithm in mac inference"

This reverts commit 6986247481a05f1e558b93b2bf3cdae395f9c4ee.

* Revert "added the mentioned AC4 algorithm for constraint propagation"

This reverts commit 03551fbf2aa3980b915d4b6fefcbc70f24547b03.

* added map coloring SAT problem

* fixed build error

* Revert "added map coloring SAT problem"

This reverts commit 93af259e4811ddd775429f8a334111b9dd9e268c.

* Revert "fixed build error"

This reverts commit 6641c2c861728f3d43d3931ef201c6f7093cbc96.

* added map coloring SAT problem

* removed redundant parentheses

* added Viterbi algorithm

* added monkey & bananas planning problem

* simplified condition in search.py

* added tests for monkey & bananas planning problem

* removed monkey & bananas planning problem

* Revert "removed monkey & bananas planning problem"

This reverts commit 9d37ae0def15b9e058862cb465da13d2eb926968.

* Revert "added tests for monkey & bananas planning problem"

This reverts commit 24041e9a1a0ab936f7a2608e3662c8efec559382.

* Revert "simplified condition in search.py"

This reverts commit 6d229ce9bde5033802aca29ad3047f37ee6d870d.

* Revert "added monkey & bananas planning problem"

This reverts commit c74933a8905de7bb569bcaed7230930780560874.

* defined the PlanningProblem as a specialization of a search.Problem & fixed typo errors

* fixed doctest in logic.py

* fixed doctest for cascade_distribution

* added ForwardPlanner and tests

* added __lt__ implementation for Expr

* added more tests

* renamed forward planner

* Revert "renamed forward planner"

This reverts commit c4139e50e3a75a036607f4627717d70ad0919554.

* renamed forward planner class & added doc

* added backward planner and tests

* fixed mdp4e.py doctests

* removed ignore_delete_lists_heuristic flag

* fixed heuristic for forward and backward planners

* added SATPlan and tests

* fixed ignore delete lists heuristic in forward and backward planners

* fixed backward planner and added tests

* updated doc

* added nary csp definition and examples

* added CSPlan and tests

* fixed CSPlan

* added book's cryptarithmetic puzzle example

* fixed typo errors in test_csp

* fixed #1111

* added sortedcontainers to yml and doc to CSPlan

* added tests for n-ary csp

* fixed utils.extend

* updated test_probability.py

* converted static methods to functions

* added AC3b and AC4 with heuristic and tests

* added conflict-driven clause learning sat solver

* added tests for cdcl and heuristics

* fixed probability.py

* fixed import

* fixed kakuro

* added Martelli and Montanari rule-based unification algorithm

* removed duplicate standardize_variables

* renamed variables known as built-in functions

* fixed typos in learning.py

* renamed some files and fixed typos

* fixed typos

* fixed typos

* fixed tests

* removed unify_mm

* remove unnecessary brackets

* fixed tests

* moved utility functions to utils.py

* fixed typos

* moved utils function to utils.py, separated probability learning classes from learning.py, fixed typos and fixed imports in .ipynb files

* added missing learners

* fixed Travis build

* fixed typos

* fixed typos

* fixed typos

* fixed typos

* fixed typos in agents files

* fixed imports in agent files

* fixed deep learning .ipynb imports

* fixed typos

* added SVM

* added .ipynb and fixed typos

* adapted code for .ipynb

* fixed typos

* updated .ipynb

* updated .ipynb

* updated logic.py

* updated .ipynb

* updated .ipynb

* updated planning.py

* updated inf definition

* fixed typos

* fixed typos

* fixed typos

* fixed typos

* Revert "fixed typos"

This reverts commit 658309d32a3baa0a6b8aac247c0d4ae39cf39ea4.

* Revert "fixed typos"

This reverts commit 08ad6603ce7b6a6442a28bc0a07c46fa25af3452.

* fixed typos

* fixed typos

* fixed typos

* fixed typos

* fixed typos and utils imports in *4e.py files

* fixed typos

* fixed typos

* fixed typos

* fixed typos

* fixed import

* fixed typos

* fixed typos

* fixd typos

* fixed typos

* fixed typos

* updated SVM

* added svm test

* fixed SVM and tests

* fixed some definitions and typos

* fixed svm and tests

* added SVMs also in learning4e.py

* fixed inf definition

* fixed .travis.yml

* fixed .travis.yml

* fixed import

* fixed inf definition

* replaced cvxopt with qpsolvers

* replaced cvxopt with quadprog

* fixed some definitions

* fixed typos and removed unnecessary tests

* replaced quadprog with qpsolvers

* fixed extend in utils

* specified error type in try-catch block

* fixed extend in utils

* fixed typos

* fixed learning.py

* fixed doctest errors

* added comments

* removed unnecessary if condition

* updated learning.py

* fixed imports

* removed unnecessary imports

* fixed keras imports

* fixed typos

* fixed learning_curve

* added comments

* fixed typos

* removed inf and isclose definition from utils and replaced with numpy.inf and numpy.isclose

* fixed doctests

* fixed numpy imports

* fixed superclass call

* removed utils import from 4e py file

* removed unnecessary norm function in utils and fixed Activation definition

* removed unnecessary clip function

* removed unnecessary import and functions from utils

* added tests and fxed some functions

* fixed doc

* fixed typos in gui folder

* removed unnecessary Keras classes and updated pytest.ini

* fixed some details

* readded Keras classes

* fixed import

* fixed some parameters

* removed unnecessary superclass

* fixed neural net

* added LinearLearner, LogisticLearner with tests and fixed NeuralNetLearner and PerceptronLearner

* removed random_weights and substituted with np.random.uniform

* fixed imports

* Revert "fixed imports"

This reverts commit aaf9c7b4501386bdb00cf61caadd66f06d1513a8.

* Revert "removed random_weights and substituted with np.random.uniform"

This reverts commit 70d662b5a7e47830add2b4d42f69f624d6915b15.

* revert

* fixed typo

* fixed .ini and DecisionTreeLearner

* fixed tests

* removed main and fixed AutoencoderLearner

* revert NeuralNetLearner and PerceptronLearner definition

* fixed all tests and removed Learner class

* fixed tests

* fixed tests

* fixed tests

* fixed some function definition

* fixed verbose definition

* fixed tests

* fixed tests

* fixed tests

* updated .travis.yml

* fixed .travis.yml

* fixed .travis.yml

* fixed all tests

* fixed requirements.txt

* fixed .travis.yml

* update .travis.yml

* rollback .travis.yml

* rollback tests

* fixed output layer with softmax as activation function

* updated yml

* updated requirements.txt

* fixed svc

* fixed syntax warns

* fixed syntax warns

* removed 3.8

* added python 3.8 support

* fixed doctests

* fixed spaces and doctest

* added SVR with r2 and accuracy metrics

* fixed imports

* fixed tests

* removed not allowed imports

* fixed

* fixed keras

* fixed

* updated requirements.txt

fixed svm for not posdef kernel matrix, updated .travis.yml with Python 3.8 and added svr with r2 and accuracy metrics (#1185)

* ENH: all problems can now use BS

* TST: add test for all types of problems for BS

* DOC: Add docstring to __hash__ method in Node

* MAINT: Add documenation and descriptive variable names

* FIXUP: Revert to previos names

* changed queue to set in AC3

Changed queue to set in AC3 (as in the pseudocode of the original algorithm) to reduce the number of consistency-check due to the redundancy of the same arcs in queue. For example, on the harder1 configuration of the Sudoku CSP the number consistency-check has been reduced from 40464 to 12562!

* re-added test commented by mistake

* added the mentioned AC4 algorithm for constraint propagation

AC3 algorithm has non-optimal worst case time-complexity O(cd^3 ), while AC4 algorithm runs in O(cd^2) worst case time

* added doctest in Sudoku for AC4 and and the possibility of choosing the constant propagation algorithm in mac inference

* removed useless doctest for AC4 in Sudoku because AC4's tests are already present in test_csp.py

* added map coloring SAT problems

* fixed typo errors and removed unnecessary brackets

* reformulated the map coloring problem

* Revert "reformulated the map coloring problem"

This reverts commit 20ab0e5afa238a0556e68f173b07ad32d0779d3b.

* Revert "fixed typo errors and removed unnecessary brackets"

This reverts commit f743146c43b28e0525b0f0b332faebc78c15946f.

* Revert "added map coloring SAT problems"

This reverts commit 9e0fa550e85081cf5b92fb6a3418384ab5a9fdfd.

* Revert "removed useless doctest for AC4 in Sudoku because AC4's tests are already present in test_csp.py"

This reverts commit b3cd24c511a82275f5b43c9f176396e6ba05f67e.

* Revert "added doctest in Sudoku for AC4 and and the possibility of choosing the constant propagation algorithm in mac inference"

This reverts commit 6986247481a05f1e558b93b2bf3cdae395f9c4ee.

* Revert "added the mentioned AC4 algorithm for constraint propagation"

This reverts commit 03551fbf2aa3980b915d4b6fefcbc70f24547b03.

* added map coloring SAT problem

* fixed build error

* Revert "added map coloring SAT problem"

This reverts commit 93af259e4811ddd775429f8a334111b9dd9e268c.

* Revert "fixed build error"

This reverts commit 6641c2c861728f3d43d3931ef201c6f7093cbc96.

* added map coloring SAT problem

* removed redundant parentheses

* added Viterbi algorithm

* added monkey & bananas planning problem

* simplified condition in search.py

* added tests for monkey & bananas planning problem

* removed monkey & bananas planning problem

* Revert "removed monkey & bananas planning problem"

This reverts commit 9d37ae0def15b9e058862cb465da13d2eb926968.

* Revert "added tests for monkey & bananas planning problem"

This reverts commit 24041e9a1a0ab936f7a2608e3662c8efec559382.

* Revert "simplified condition in search.py"

This reverts commit 6d229ce9bde5033802aca29ad3047f37ee6d870d.

* Revert "added monkey & bananas planning problem"

This reverts commit c74933a8905de7bb569bcaed7230930780560874.

* defined the PlanningProblem as a specialization of a search.Problem & fixed typo errors

* fixed doctest in logic.py

* fixed doctest for cascade_distribution

* added ForwardPlanner and tests

* added __lt__ implementation for Expr

* added more tests

* renamed forward planner

* Revert "renamed forward planner"

This reverts commit c4139e50e3a75a036607f4627717d70ad0919554.

* renamed forward planner class & added doc

* added backward planner and tests

* fixed mdp4e.py doctests

* removed ignore_delete_lists_heuristic flag

* fixed heuristic for forward and backward planners

* added SATPlan and tests

* fixed ignore delete lists heuristic in forward and backward planners

* fixed backward planner and added tests

* updated doc

* added nary csp definition and examples

* added CSPlan and tests

* fixed CSPlan

* added book's cryptarithmetic puzzle example

* fixed typo errors in test_csp

* fixed #1111

* added sortedcontainers to yml and doc to CSPlan

* added tests for n-ary csp

* fixed utils.extend

* updated test_probability.py

* converted static methods to functions

* added AC3b and AC4 with heuristic and tests

* added conflict-driven clause learning sat solver

* added tests for cdcl and heuristics

* fixed probability.py

* fixed import

* fixed kakuro

* added Martelli and Montanari rule-based unification algorithm

* removed duplicate standardize_variables

* renamed variables known as built-in functions

* fixed typos in learning.py

* renamed some files and fixed typos

* fixed typos

* fixed typos

* fixed tests

* removed unify_mm

* remove unnecessary brackets

* fixed tests

* moved utility functions to utils.py

* fixed typos

* moved utils function to utils.py, separated probability learning classes from learning.py, fixed typos and fixed imports in .ipynb files

* added missing learners

* fixed Travis build

* fixed typos

* fixed typos

* fixed typos

* fixed typos

* fixed typos in agents files

* fixed imports in agent files

* fixed deep learning .ipynb imports

* fixed typos

* added SVM

* added .ipynb and fixed typos

* adapted code for .ipynb

* fixed typos

* updated .ipynb

* updated .ipynb

* updated logic.py

* updated .ipynb

* updated .ipynb

* updated planning.py

* updated inf definition

* fixed typos

* fixed typos

* fixed typos

* fixed typos

* Revert "fixed typos"

This reverts commit 658309d32a3baa0a6b8aac247c0d4ae39cf39ea4.

* Revert "fixed typos"

This reverts commit 08ad6603ce7b6a6442a28bc0a07c46fa25af3452.

* fixed typos

* fixed typos

* fixed typos

* fixed typos

* fixed typos and utils imports in *4e.py files

* fixed typos

* fixed typos

* fixed typos

* fixed typos

* fixed import

* fixed typos

* fixed typos

* fixd typos

* fixed typos

* fixed typos

* updated SVM

* added svm test

* fixed SVM and tests

* fixed some definitions and typos

* fixed svm and tests

* added SVMs also in learning4e.py

* fixed inf definition

* fixed .travis.yml

* fixed .travis.yml

* fixed import

* fixed inf definition

* replaced cvxopt with qpsolvers

* replaced cvxopt with quadprog

* fixed some definitions

* fixed typos and removed unnecessary tests

* replaced quadprog with qpsolvers

* fixed extend in utils

* specified error type in try-catch block

* fixed extend in utils

* fixed typos

* fixed learning.py

* fixed doctest errors

* added comments

* removed unnecessary if condition

* updated learning.py

* fixed imports

* removed unnecessary imports

* fixed keras imports

* fixed typos

* fixed learning_curve

* added comments

* fixed typos

* removed inf and isclose definition from utils and replaced with numpy.inf and numpy.isclose

* fixed doctests

* changed queue to set in AC3

Changed queue to set in AC3 (as in the pseudocode of the original algorithm) to reduce the number of consistency-check due to the redundancy of the same arcs in queue. For example, on the harder1 configuration of the Sudoku CSP the number consistency-check has been reduced from 40464 to 12562!

* re-added test commented by mistake

* added the mentioned AC4 algorithm for constraint propagation

AC3 algorithm has non-optimal worst case time-complexity O(cd^3 ), while AC4 algorithm runs in O(cd^2) worst case time

* added doctest in Sudoku for AC4 and and the possibility of choosing the constant propagation algorithm in mac inference

* removed useless doctest for AC4 in Sudoku because AC4's tests are already present in test_csp.py

* added map coloring SAT problems

* fixed typo errors and removed unnecessary brackets

* reformulated the map coloring problem

* Revert "reformulated the map coloring problem"

This reverts commit 20ab0e5afa238a0556e68f173b07ad32d0779d3b.

* Revert "fixed typo errors and removed unnecessary brackets"

This reverts commit f743146c43b28e0525b0f0b332faebc78c15946f.

* Revert "added map coloring SAT problems"

This reverts commit 9e0fa550e85081cf5b92fb6a3418384ab5a9fdfd.

* Revert "removed useless doctest for AC4 in Sudoku because AC4's tests are already present in test_csp.py"

This reverts commit b3cd24c511a82275f5b43c9f176396e6ba05f67e.

* Revert "added doctest in Sudoku for AC4 and and the possibility of choosing the constant propagation algorithm in mac inference"

This reverts commit 6986247481a05f1e558b93b2bf3cdae395f9c4ee.

* Revert "added the mentioned AC4 algorithm for constraint propagation"

This reverts commit 03551fbf2aa3980b915d4b6fefcbc70f24547b03.

* added map coloring SAT problem

* fixed build error

* Revert "added map coloring SAT problem"

This reverts commit 93af259e4811ddd775429f8a334111b9dd9e268c.

* Revert "fixed build error"

This reverts commit 6641c2c861728f3d43d3931ef201c6f7093cbc96.

* added map coloring SAT problem

* removed redundant parentheses

* added Viterbi algorithm

* added monkey & bananas planning problem

* simplified condition in search.py

* added tests for monkey & bananas planning problem

* removed monkey & bananas planning problem

* Revert "removed monkey & bananas planning problem"

This reverts commit 9d37ae0def15b9e058862cb465da13d2eb926968.

* Revert "added tests for monkey & bananas planning problem"

This reverts commit 24041e9a1a0ab936f7a2608e3662c8efec559382.

* Revert "simplified condition in search.py"

This reverts commit 6d229ce9bde5033802aca29ad3047f37ee6d870d.

* Revert "added monkey & bananas planning problem"

This reverts commit c74933a8905de7bb569bcaed7230930780560874.

* defined the PlanningProblem as a specialization of a search.Problem & fixed typo errors

* fixed doctest in logic.py

* fixed doctest for cascade_distribution

* added ForwardPlanner and tests

* added __lt__ implementation for Expr

* added more tests

* renamed forward planner

* Revert "renamed forward planner"

This reverts commit c4139e50e3a75a036607f4627717d70ad0919554.

* renamed forward planner class & added doc

* added backward planner and tests

* fixed mdp4e.py doctests

* removed ignore_delete_lists_heuristic flag

* fixed heuristic for forward and backward planners

* added SATPlan and tests

* fixed ignore delete lists heuristic in forward and backward planners

* fixed backward planner and added tests

* updated doc

* added nary csp definition and examples

* added CSPlan and tests

* fixed CSPlan

* added book's cryptarithmetic puzzle example

* fixed typo errors in test_csp

* fixed #1111

* added sortedcontainers to yml and doc to CSPlan

* added tests for n-ary csp

* fixed utils.extend

* updated test_probability.py

* converted static methods to functions

* added AC3b and AC4 with heuristic and tests

* added conflict-driven clause learning sat solver

* added tests for cdcl and heuristics

* fixed probability.py

* fixed import

* fixed kakuro

* added Martelli and Montanari rule-based unification algorithm

* removed duplicate standardize_variables

* renamed variables known as built-in functions

* fixed typos in learning.py

* renamed some files and fixed typos

* fixed typos

* fixed typos

* fixed tests

* removed unify_mm

* remove unnecessary brackets

* fixed tests

* moved utility functions to utils.py

* fixed typos

* moved utils function to utils.py, separated probability learning classes from learning.py, fixed typos and fixed imports in .ipynb files

* added missing learners

* fixed Travis build

* fixed typos

* fixed typos

* fixed typos

* fixed typos

* fixed typos in agents files

* fixed imports in agent files

* fixed deep learning .ipynb imports

* fixed typos

* added SVM

* added .ipynb and fixed typos

* adapted code for .ipynb

* fixed typos

* updated .ipynb

* updated .ipynb

* updated logic.py

* updated .ipynb

* updated .ipynb

* updated planning.py

* updated inf definition

* fixed typos

* fixed typos

* fixed typos

* fixed typos

* Revert "fixed typos"

This reverts commit 658309d32a3baa0a6b8aac247c0d4ae39cf39ea4.

* Revert "fixed typos"

This reverts commit 08ad6603ce7b6a6442a28bc0a07c46fa25af3452.

* fixed typos

* fixed typos

* fixed typos

* fixed typos

* fixed typos and utils imports in *4e.py files

* fixed typos

* fixed typos

* fixed typos

* fixed typos

* fixed import

* fixed typos

* fixed typos

* fixd typos

* fixed typos

* fixed typos

* updated SVM

* added svm test

* fixed SVM and tests

* fixed some definitions and typos

* fixed svm and tests

* added SVMs also in learning4e.py

* fixed inf definition

* fixed .travis.yml

* fixed .travis.yml

* fixed import

* fixed inf definition

* replaced cvxopt with qpsolvers

* replaced cvxopt with quadprog

* fixed some definitions

* fixed typos and removed unnecessary tests

* replaced quadprog with qpsolvers

* fixed extend in utils

* specified error type in try-catch block

* fixed extend in utils

* fixed typos

* fixed learning.py

* fixed doctest errors

* added comments

* removed unnecessary if condition

* updated learning.py

* fixed imports

* removed unnecessary imports

* fixed keras imports

* fixed typos

* fixed learning_curve

* added comments

* changed queue to set in AC3

Changed queue to set in AC3 (as in the pseudocode of the original algorithm) to reduce the number of consistency-check due to the redundancy of the same arcs in queue. For example, on the harder1 configuration of the Sudoku CSP the number consistency-check has been reduced from 40464 to 12562!

* re-added test commented by mistake

* added the mentioned AC4 algorithm for constraint propagation

AC3 algorithm has non-optimal worst case time-complexity O(cd^3 ), while AC4 algorithm runs in O(cd^2) worst case time

* added doctest in Sudoku for AC4 and and the possibility of choosing the constant propagation algorithm in mac inference

* removed useless doctest for AC4 in Sudoku because AC4's tests are already present in test_csp.py

* added map coloring SAT problems

* fixed typo errors and removed unnecessary brackets

* reformulated the map coloring problem

* Revert "reformulated the map coloring problem"

This reverts commit 20ab0e5afa238a0556e68f173b07ad32d0779d3b.

* Revert "fixed typo errors and removed unnecessary brackets"

This reverts commit f743146c43b28e0525b0f0b332faebc78c15946f.

* Revert "added map coloring SAT problems"

This reverts commit 9e0fa550e85081cf5b92fb6a3418384ab5a9fdfd.

* Revert "removed useless doctest for AC4 in Sudoku because AC4's tests are already present in test_csp.py"

This reverts commit b3cd24c511a82275f5b43c9f176396e6ba05f67e.

* Revert "added doctest in Sudoku for AC4 and and the possibility of choosing the constant propagation algorithm in mac inference"

This reverts commit 6986247481a05f1e558b93b2bf3cdae395f9c4ee.

* Revert "added the mentioned AC4 algorithm for constraint propagation"

This reverts commit 03551fbf2aa3980b915d4b6fefcbc70f24547b03.

* added map coloring SAT problem

* fixed build error

* Revert "added map coloring SAT problem"

This reverts commit 93af259e4811ddd775429f8a334111b9dd9e268c.

* Revert "fixed build error"

This reverts commit 6641c2c861728f3d43d3931ef201c6f7093cbc96.

* added map coloring SAT problem

* removed redundant parentheses

* added Viterbi algorithm

* added monkey & bananas planning problem

* simplified condition in search.py

* added tests for monkey & bananas planning problem

* removed monkey & bananas planning problem

* Revert "removed monkey & bananas planning problem"

This reverts commit 9d37ae0def15b9e058862cb465da13d2eb926968.

* Revert "added tests for monkey & bananas planning problem"

This reverts commit 24041e9a1a0ab936f7a2608e3662c8efec559382.

* Revert "simplified condition in search.py"

This reverts commit 6d229ce9bde5033802aca29ad3047f37ee6d870d.

* Revert "added monkey & bananas planning problem"

This reverts commit c74933a8905de7bb569bcaed7230930780560874.

* defined the PlanningProblem as a specialization of a search.Problem & fixed typo errors

* fixed doctest in logic.py

* fixed doctest for cascade_distribution

* added ForwardPlanner and tests

* added __lt__ implementation for Expr

* added more tests

* renamed forward planner

* Revert "renamed forward planner"

This reverts commit c4139e50e3a75a036607f4627717d70ad0919554.

* renamed forward planner class & added doc

* added backward planner and tests

* fixed mdp4e.py doctests

* removed ignore_delete_lists_heuristic flag

* fixed heuristic for forward and backward planners

* added SATPlan and tests

* fixed ignore delete lists heuristic in forward and backward planners

* fixed backward planner and added tests

* updated doc

* added nary csp definition and examples

* added CSPlan and tests

* fixed CSPlan

* added book's cryptarithmetic puzzle example

* fixed typo errors in test_csp

* fixed #1111

* added sortedcontainers to yml and doc to CSPlan

* added tests for n-ary csp

* fixed utils.extend

* updated test_probability.py

* converted static methods to functions

* added AC3b and AC4 with heuristic and tests

* added conflict-driven clause learning sat solver

* added tests for cdcl and heuristics

* fixed probability.py

* fixed import

* fixed kakuro

* added Martelli and Montanari rule-based unification algorithm

* removed duplicate standardize_variables

* renamed variables known as built-in functions

* fixed typos in learning.py

* renamed some files and fixed typos

* fixed typos

* fixed typos

* fixed tests

* removed unify_mm

* remove unnecessary brackets

* fixed tests

* moved utility functions to utils.py

* fixed typos

* moved utils function to utils.py, separated probability learning classes from learning.py, fixed typos and fixed imports in .ipynb files

* added missing learners

* fixed Travis build

* fixed typos

* fixed typos

* fixed typos

* fixed typos

* fixed typos in agents files

* fixed imports in agent files

* fixed deep learning .ipynb imports

* fixed typos

* added .ipynb and fixed typos

* adapted code for .ipynb

* fixed typos

* updated .ipynb

* updated .ipynb

* updated logic.py

* updated .ipynb

* updated .ipynb

* updated planning.py

* updated inf definition

* fixed typos

* fixed typos

* fixed typos

* fixed typos

* Revert "fixed typos"

This reverts commit 658309d32a3baa0a6b8aac247c0d4ae39cf39ea4.

* Revert "fixed typos"

This reverts commit 08ad6603ce7b6a6442a28bc0a07c46fa25af3452.

* fixed typos

* fixed typos

* fixed typos

* fixed typos

* fixed typos and utils imports in *4e.py files

* fixed typos

* changed queue to set in AC3

Changed queue to set in AC3 (as in the pseudocode of the original algorithm) to reduce the number of consistency-check due to the redundancy of the same arcs in queue. For example, on the harder1 configuration of the Sudoku CSP the number consistency-check has been reduced from 40464 to 12562!

* re-added test commented by mistake

* added the mentioned AC4 algorithm for constraint propagation

AC3 algorithm has non-optimal worst case time-complexity O(cd^3 ), while AC4 algorithm runs in O(cd^2) worst case time

* added doctest in Sudoku for AC4 and and the possibility of choosing the constant propagation algorithm in mac inference

* removed useless doctest for AC4 in Sudoku because AC4's tests are already present in test_csp.py

* added map coloring SAT problems

* fixed typo errors and removed unnecessary brackets

* reformulated the map coloring problem

* Revert "reformulated the map coloring problem"

This reverts commit 20ab0e5afa238a0556e68f173b07ad32d0779d3b.

* Revert "fixed typo errors and removed unnecessary brackets"

This reverts commit f743146c43b28e0525b0f0b332faebc78c15946f.

* Revert "added map coloring SAT problems"

This reverts commit 9e0fa550e85081cf5b92fb6a3418384ab5a9fdfd.

* Revert "removed useless doctest for AC4 in Sudoku because AC4's tests are already present in test_csp.py"

This reverts commit b3cd24c511a82275f5b43c9f176396e6ba05f67e.

* Revert "added doctest in Sudoku for AC4 and and the possibility of choosing the constant propagation algorithm in mac inference"

This reverts commit 6986247481a05f1e558b93b2bf3cdae395f9c4ee.

* Revert "added the mentioned AC4 algorithm for constraint propagation"

This reverts commit 03551fbf2aa3980b915d4b6fefcbc70f24547b03.

* added map coloring SAT problem

* fixed build error

* Revert "added map coloring SAT problem"

This reverts commit 93af259e4811ddd775429f8a334111b9dd9e268c.

* Revert "fixed build error"

This reverts commit 6641c2c861728f3d43d3931ef201c6f7093cbc96.

* added map coloring SAT problem

* removed redundant parentheses

* added Viterbi algorithm

* added monkey & bananas planning problem

* simplified condition in search.py

* added tests for monkey & bananas planning problem

* removed monkey & bananas planning problem

* Revert "removed monkey & bananas planning problem"

This reverts commit 9d37ae0def15b9e058862cb465da13d2eb926968.

* Revert "added tests for monkey & bananas planning problem"

This reverts commit 24041e9a1a0ab936f7a2608e3662c8efec559382.

* Revert "simplified condition in search.py"

This reverts commit 6d229ce9bde5033802aca29ad3047f37ee6d870d.

* Revert "added monkey & bananas planning problem"

This reverts commit c74933a8905de7bb569bcaed7230930780560874.

* defined the PlanningProblem as a specialization of a search.Problem & fixed typo errors

* fixed doctest in logic.py

* fixed doctest for cascade_distribution

* added ForwardPlanner and tests

* added __lt__ implementation for Expr

* added more tests

* renamed forward planner

* Revert "renamed forward planner"

This reverts commit c4139e50e3a75a036607f4627717d70ad0919554.

* renamed forward planner class & added doc

* added backward planner and tests

* fixed mdp4e.py doctests

* removed ignore_delete_lists_heuristic flag

* fixed heuristic for forward and backward planners

* added SATPlan and tests

* fixed ignore delete lists heuristic in forward and backward planners

* fixed backward planner and added tests

* updated doc

* added nary csp definition and examples

* added CSPlan and tests

* fixed CSPlan

* added book's cryptarithmetic puzzle example

* fixed typo errors in test_csp

* fixed #1111

* added sortedcontainers to yml and doc to CSPlan

* added tests for n-ary csp

* fixed utils.extend

* updated test_probability.py

* converted static methods to functions

* added AC3b and AC4 with heuristic and tests

* added conflict-driven clause learning sat solver

* added tests for cdcl and heuristics

* fixed probability.py

* fixed import

* fixed kakuro

* added Martelli and Montanari rule-based unification algorithm

* removed duplicate standardize_variables

* renamed variables known as built-in functions

* fixed typos in learning.py

* renamed some files and fixed typos

* fixed typos

* fixed typos

* fixed tests

* removed unify_mm

* remove unnecessary brackets

* fixed tests

* moved utility functions to utils.py

* fixed typos

* moved utils function to utils.py, separated probability learning classes from learning.py, fixed typos and fixed imports in .ipynb files

* added missing learners

* fixed Travis build

* fixed typos

* fixed typos

* fixed typos

* fixed typos

* fixed typos in agents files

* fixed imports in agent files

* fixed deep learning .ipynb imports

* fixed typos

* added .ipynb and fixed typos

* adapted code for .ipynb

* fixed typos

* updated .ipynb

* updated .ipynb

* updated logic.py

* updated .ipynb

* updated .ipynb

* updated planning.py

* updated inf definition

* fixed typos

* fixed typos

* fixed typos

* fixed typos

* Revert "fixed typos"

This reverts commit 658309d32a3baa0a6b8aac247c0d4ae39cf39ea4.

* Revert "fixed typos"

This reverts commit 08ad6603ce7b6a6442a28bc0a07c46fa25af3452.

* fixed typos

* fixed typos

* fixed typos

* fixed typos

* fixed typos and utils imports in *4e.py files

* changed queue to set in AC3

Changed queue to set in AC3 (as in the pseudocode of the original algorithm) to reduce the number of consistency-check due to the redundancy of the same arcs in queue. For example, on the harder1 configuration of the Sudoku CSP the number consistency-check has been reduced from 40464 to 12562!

* re-added test commented by mistake

* added the mentioned AC4 algorithm for constraint propagation

AC3 algorithm has non-optimal worst case time-complexity O(cd^3 ), while AC4 algorithm runs in O(cd^2) worst case time

* added doctest in Sudoku for AC4 and and the possibility of choosing the constant propagation algorithm in mac inference

* removed useless doctest for AC4 in Sudoku because AC4's tests are already present in test_csp.py

* added map coloring SAT problems

* fixed typo errors and removed unnecessary brackets

* reformulated the map coloring problem

* Revert "reformulated the map coloring problem"

This reverts commit 20ab0e5afa238a0556e68f173b07ad32d0779d3b.

* Revert "fixed typo errors and removed unnecessary brackets"

This reverts commit f743146c43b28e0525b0f0b332faebc78c15946f.

* Revert "added map coloring SAT problems"

This reverts commit 9e0fa550e85081cf5b92fb6a3418384ab5a9fdfd.

* Revert "removed useless doctest for AC4 in Sudoku because AC4's tests are already present in test_csp.py"

This reverts commit b3cd24c511a82275f5b43c9f176396e6ba05f67e.

* Revert "added doctest in Sudoku for AC4 and and the possibility of choosing the constant propagation algorithm in mac inference"

This reverts commit 6986247481a05f1e558b93b2bf3cdae395f9c4ee.

* Revert "added the mentioned AC4 algorithm for constraint propagation"

This reverts commit 03551fbf2aa3980b915d4b6fefcbc70f24547b03.

* added map coloring SAT problem

* fixed build error

* Revert "added map coloring SAT problem"

This reverts commit 93af259e4811ddd775429f8a334111b9dd9e268c.

* Revert "fixed build error"

This reverts commit 6641c2c861728f3d43d3931ef201c6f7093cbc96.

* added map coloring SAT problem

* removed redundant parentheses

* added Viterbi algorithm

* added monkey & bananas planning problem

* simplified condition in search.py

* added tests for monkey & bananas planning problem

* removed monkey & bananas planning problem

* Revert "removed monkey & bananas planning problem"

This reverts commit 9d37ae0def15b9e058862cb465da13d2eb926968.

* Revert "added tests for monkey & bananas planning problem"

This reverts commit 24041e9a1a0ab936f7a2608e3662c8efec559382.

* Revert "simplified condition in search.py"

This reverts commit 6d229ce9bde5033802aca29ad3047f37ee6d870d.

* Revert "added monkey & bananas planning problem"

This reverts commit c74933a8905de7bb569bcaed7230930780560874.

* defined the PlanningProblem as a specialization of a search.Problem & fixed typo errors

* fixed doctest in logic.py

* fixed doctest for cascade_distribution

* added ForwardPlanner and tests

* added __lt__ implementation for Expr

* added more tests

* renamed forward planner

* Revert "renamed forward planner"

This reverts commit c4139e50e3a75a036607f4627717d70ad0919554.

* renamed forward planner class & added doc

* added backward planner and tests

* fixed mdp4e.py doctests

* removed ignore_delete_lists_heuristic flag

* fixed heuristic for forward and backward planners

* added SATPlan and tests

* fixed ignore delete lists heuristic in forward and backward planners

* fixed backward planner and added tests

* updated doc

* Reworked PriorityQueue spec

Modified:
- Priority Queue methods:
    queue[elem] now returns the first value of elem stored in queue
    elem in queue now correctly returns whether a copy of element is present regardless of the function value. Apparently the bug was introduced while trying to meet heapq spec
    del queue[elem] deletes the first instance of elem in queue correctly
- Algorithms
    Same change in best_first_graph_search in romania_problem.py and search.py to make them compatible with the new spec
- Tests
    Introduced 3 tests in test_utils.py to comprehensively test PriorityQueue's new spec

* Reworked PriorityQueue spec

Modified:
- Priority Queue methods:
    queue[elem] now returns the first value of elem stored in queue
    elem in queue now correctly returns whether a copy of element is present regardless of the function value. Apparently the bug was introduced while trying to meet heapq spec
    del queue[elem] deletes the first instance of elem in queue correctly
- Algorithms
    Same change in best_first_graph_search in romania_problem.py and search.py to make them compatible with the new spec
- Tests
    Introduced 3 tests in test_utils.py to comprehensively test PriorityQueue's new spec

Remove unnecessary initial goal test in best_first_graph_search. The loop will catch that case immediately.

* Added tests for online dfs agent

* Minor formatting fixes

* Completed notebook sections

* Updated README.md

* Fixed a test

* Added new algorithms to display_visual notebook function

* Added RBFS visualization

* Added a line to child node

`child_node` method of `Node` uses the `problem.result` which returns normally a state not a node according to its docstring in `Problem`. Naming the variable `next_node` can be confusing to users when it actually refers to a resulting state.

* Update search.py

* Update search.py

* define plan_route, plan_shot and refactor code

* minor changes

* Added PlanRoute Problem class

* update plan_route

return list of actions ( node.solution() ) instead of node itself in plan_route

* NQueensProblem returns tuples as states

* Reran search.ipynb

* List to tuple

* Changed default value and add heuristic function

* Added astar_search for NQueensProblem

* Added tests for NQueensProblem

* Refactor EightPuzzle class

* return instead of print

* Added tests for EightPuzzle

* Review fixes

* Review fixes

* Fixed tests

* Update inverted commas in docstrings

* Updating submodule

* Moved viz code to notebook.py + changes

* Changed use of 'next'

* Added networkx to .travis.yml

* Added others to .travis.yml

* Remove time from .travis.yml

* Added linebreaks and fixed case for no algo

* Fixed spaces for args

* Renamed *search as *search_for_vis

* Fix EightPuzzle class implementation

* Fix EightPuzzle class implementation (#710)

* Address style issues (#710)

* Add SimpleProblemSolvingAgent

* Fix typo in search.py

* rebase with master

* solve error

* solve error

* solve error

* Update search.ipynb

* Update PeakFindingProblem code to allow diagonal motion

* Fix unit test issues

* update PeakFindingProblem to take actions as input param

* Refactor code in search.py

Partially solves #687

* Added tests for search.py

* Updated readme

* Removed extra newline

* Fixed seed

* Update README.md

* Added docstring for minimal-consistent-det

* Add bidirectional search + update h function

* add bidirectional search test

* Update search.py

* Update test_search.py

* DataFile Update

* Update learning.py

* Update search.py

* Update test_learning.py

* Update test_text.py

* Add files via upload

* Update text.ipynb

* Update search-4e.ipynb

* Create CONTRIBUTING.md

* Delete test_grid.py

* Delete grid.ipynb

* Delete grid.py

* Move grid functions to utils

* Move grid tests to utils

* Update agents.py

* Update mdp.py

* Update search.py

* Update search.py

* Update test_search.py

* Fix flake8 warnings

* Remove unnecessary #noqa

* Fix doctest