Torvaney / flow-solver
Solving the "Flow Free" game (mobile app) with Clojure and SAT
☆11Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for flow-solver
- Repository for programming language SPLAT: Spatial Programming Language, Ascii Text☆50Updated 3 years ago
- Metamath verifier in Python☆34Updated 7 months ago
- modal logic library for LEAN theorem prover☆10Updated 7 years ago
- A simplicial complex and hypergraph visualization tool similar to Graphviz.☆38Updated 5 years ago
- lang befunge 93 fast☆19Updated last year
- Cellular automata search program☆26Updated 2 years ago
- An automated approach to the Collatz conjecture☆13Updated last year
- MIRROR of https://codeberg.org/catseye/Samovar : Model worlds using propositions and run simulations in them☆16Updated 11 months ago
- My unofficial picat http://picat-lang.org/ repository☆27Updated 10 months ago
- Automatically exported from code.google.com/p/joypy☆27Updated 6 years ago
- Reversible cellular automata simulator in HTML5 + Java Script.☆32Updated 7 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated 11 months ago
- Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).☆19Updated last year
- The Coil Programming Language☆34Updated 8 months ago
- Integrated RDF Surfaces inspired by Pat Hayes, Patrick Hochstenbach and EYE.☆13Updated last week
- A rule engine based on Attempto Controlled English☆18Updated 3 weeks ago
- Canvas based syntax tree editor☆27Updated last month
- Spatial Programming Language☆19Updated last year
- a python constraint solver based on clasp☆31Updated 10 years ago
- advent of code☆19Updated 10 months ago
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Updated 3 years ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆47Updated last week
- debugging biological networks to reach coherence, completeness and consistency☆43Updated 9 months ago
- Advent of Code 2020 solutions in Dyalog APL☆22Updated 3 years ago
- SWI-Prolog WebAssembly build as a NPM package☆42Updated this week
- I moved this folder. Keeping this repo up for archival purposes only.☆17Updated 5 months ago
- PRolog Equation Solving System☆29Updated 8 years ago
- A WordNet in GF☆24Updated this week
- A textbook for Conway's Game of Life.☆32Updated 2 years ago
- Compiler for MFM programming language☆21Updated 3 weeks ago