Python library that enables using prolog syntax and logic programming in python
Backtracking regular expression engine written in Python
Bounded, SPLIT Newton solver with pseudo-transient continuation and backtracking. 15k+ downloads
Python module written in C++ for generating and solving rectangular Mazes with Graph Traversal Algorithms.