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:
- MiniZinc documentation☆16Updated 2 years ago
- A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners☆16Updated 3 years ago
- A [personal]<-[notebook]->[network]. Complete with custom numerics for constrained Gaussian gravitation physics.☆22Updated 3 years ago
- Metamath verifier in Python☆40Updated 6 months ago
- Discussion of MeTTa programming with examples☆34Updated 3 months ago
- Machine Query Interface☆20Updated last week
- Repository for programming language SPLAT: Spatial Programming Language, Ascii Text☆52Updated 4 years ago
- Tutorials for using TerminusDB☆58Updated 2 years ago
- Docker images for SWI-Prolog☆16Updated last week
- Visual environment for manipulation the lambda calculus expressions☆29Updated last year
- Software Tools in JavaScript☆30Updated 2 years ago
- A general framework for multi-agent systems. An agent-environment interface is abstracted with a free monad.☆16Updated 7 years ago
- Cellular automata search program☆26Updated 3 years ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆48Updated 3 weeks ago
- GOPHI: an AMR-to-English Verbalizer☆11Updated 5 years 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 10 years ago
- The Ludii general game system, developed as part of the ERC-funded Digital Ludeme Project.☆137Updated last week
- A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine☆22Updated 2 weeks ago
- A slimmed-down, Totalistic-only version of my CA generator☆29Updated 11 years ago
- PRolog Equation Solving System☆29Updated 9 years ago
- Ranked Programming Extension for Racket☆54Updated 5 years ago
- A repository used to reproduce Axelrod's tournament☆16Updated 5 years ago
- top-down interpreter for ASP programs with constraints☆18Updated 3 years ago
- An automated approach to the Collatz conjecture☆12Updated 2 years ago
- Save, track and query 3D+time locations of objects in the AtomSpace☆15Updated 8 months ago
- The Heterogeneous Tool Set☆59Updated 2 months ago
- Art of Prolog Code☆36Updated 6 years ago
- Large lexicon for APE (~100,000 entries)☆30Updated 7 years ago
- Python library that enables using prolog syntax and logic programming in python☆129Updated 2 years ago
- Simulator for cellular automata defined on regular lattices on Minkovski plane☆11Updated 4 years ago