Torvaney / flow-solverLinks
Solving the "Flow Free" game (mobile app) with Clojure and SAT
☆11Updated 6 years ago
Alternatives and similar repositories for flow-solver
Users that are interested in flow-solver are comparing it to the libraries listed below
Sorting:
- Metamath verifier in Python☆41Updated 8 months ago
- Repository for programming language SPLAT: Spatial Programming Language, Ascii Text☆52Updated 4 years ago
- MiniZinc documentation☆16Updated 2 years ago
- Discussion of MeTTa programming with examples☆34Updated 5 months ago
- The Graphplan algorithm is an automatic planning algorithm that can compute, given a set of rules, a plan of action to go from an initial…☆38Updated 11 years ago
- Our Ludum Dare entry☆20Updated 8 years ago
- Save, track and query 3D+time locations of objects in the AtomSpace☆16Updated 10 months ago
- Random fun with statistical language models.☆63Updated 6 years ago
- Interactive visualization for time series forecasts☆23Updated 5 years ago
- system dynamics modeling☆91Updated this week
- Cellular automata search program☆26Updated 3 years ago
- top-down interpreter for ASP programs with constraints☆18Updated 3 years ago
- programs written in Picat☆11Updated 2 weeks ago
- A WordNet in GF☆28Updated this week
- A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine☆23Updated 2 months ago
- Base Forward Chaining Knowledge Base Maintenance System☆19Updated 4 years ago
- Reasonable Python is a module which adds F-Logic to Python☆25Updated 14 years ago
- I moved this folder. Keeping this repo up for archival purposes only.☆17Updated last year
- PRolog Equation Solving System☆29Updated 9 years ago
- Deep Learning (PyTorch) Models Deployment using SQL databases☆10Updated 4 years ago
- A VS Code extension supporting for Picat language☆18Updated 7 years ago
- Fundamentals of Multiagent Systems Textbook☆28Updated 13 years ago
- DeepAlgebra☆25Updated 8 years ago
- Docker images for SWI-Prolog☆16Updated last month
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆12Updated 5 months ago
- General-purpose discrete-event multiagent simulation library for agent-based modelling and simulation☆71Updated 8 years ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆49Updated this week
- Python library that enables using prolog syntax and logic programming in python☆128Updated 3 years ago
- A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners☆16Updated 4 years ago
- An implementation of the APL language in Python with the Numpy module☆29Updated 9 years ago