mlepage / polycube-solver
Lua program using Algorithm X to solve the problem of packing polycubic pieces into boxes. Includes bit matrix module. MIT license.
☆18Updated 13 years ago
Alternatives and similar repositories for polycube-solver
Users that are interested in polycube-solver are comparing it to the libraries listed below
Sorting:
- A C++ Ataxx library to handle move generation, move validation, and other aspects of the board game Ataxx☆10Updated last year
- ☆127Updated last year
- Conformally map the hyperbolic plane to arbitrary shapes.☆62Updated last year
- Cellular automata search program☆26Updated 2 years ago
- MCTS-based chess engine☆41Updated 6 years ago
- A fast, flexible, and feature-rich interactive multidimensional cellular automaton simulator written in Rust☆25Updated 3 years ago
- A two-dimensional programming language.☆54Updated 9 years ago
- ☆39Updated 2 years ago
- The programming language that defies the laws of physics☆23Updated 7 years ago
- ☆11Updated 3 years ago
- Funciton (pronounced: /ˈfʌŋkɪtɒn/) is a two-dimensional, declarative, functional, esoteric programming language. This is an interpreter a…☆42Updated 3 months ago
- lang Thue + Regex☆14Updated 3 years ago
- A fungeoid language where bends in the chain determine the instructions☆12Updated 3 years ago
- Chess Unwinnability Analyzer is an implementation of a decision procedure for checking whether there exists a sequence of legal moves tha…☆52Updated 3 months ago
- Fast automated solver for Flow Free in a single C or Python file.☆50Updated 2 years ago
- Predicts the best chess move with 27.5% accuracy by a single matrix multiplication☆95Updated 4 years ago
- A stack-based programming language with a lot of symmetry.☆26Updated 8 years ago
- A code-golf language written in Mathematica☆20Updated 4 years ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 3 years ago
- Transfinite ordinal arithmetic and factorisation up to epsilon-zero☆14Updated 3 years ago
- Java implementations of sequences in the OEIS☆61Updated this week
- Metamath verifier in Python☆38Updated last year
- Non-euclidean Rubik's Cube Analogues☆89Updated last month
- Conway's Game of Life with multiple states. A precursor of Lenia.☆31Updated 6 years ago
- Artificial chemistry☆21Updated 7 years ago
- metamath proof enumerators and other things☆93Updated 9 months ago
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 3 years ago
- A solver for halting problem of Brainfuck programs☆17Updated 5 years ago
- Online IDE for the esoteric language Hexagony.☆11Updated last year
- Indev golfing language☆18Updated 4 years ago