attilaszia / nonogramLinks
A C++ implementation for solving the nonogram constraint satisfication problem. Among a few naive ones, the dynamic programming algorithm discussed in K. J. Batenburg , W. A. Kosters Solving Nonograms by combining relaxations - is implemented.
☆10Updated last month
Alternatives and similar repositories for nonogram
Users that are interested in nonogram are comparing it to the libraries listed below
Sorting:
- Poorly written code that generates moderately exciting plots of a very specific physics phenomenon that enthralls dozens of us around the…☆285Updated 4 months ago
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆92Updated this week
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆43Updated last week
- 🍰 Compiling your code to an Ising Hamiltonian so you don't have to!☆53Updated 5 years ago
- Tired of needing to come up with synonyms for 'Therefore,' in your mathematical writing? Ponder no longer! This LaTeX package provides a …☆200Updated 8 years ago
- Robert Munafo's reverse equation solver☆15Updated 2 years ago
- Fungrim: the Mathematical Functions Grimoire☆123Updated 3 years ago
- ☆343Updated 7 years ago
- Java implementations of sequences in the OEIS☆65Updated this week
- Python bindings for Flint and Arb☆137Updated 2 weeks ago
- The full source code and hyperlinked PDF of the book "Linear Algebra via Exterior Products" (2010)☆109Updated 2 years ago
- A Low Barrier Proof Assistant☆123Updated this week
- A Python CAS library☆72Updated last week
- Prangster tool from the Black Hat USA 2013 presentation "Black-Box Assessment of Pseudorandom Algorithms" by Derek Soeder, Christopher Ab…☆11Updated 11 years ago
- Next generation MCMC samplers with automatic differentiaion and adaptive Poisson thinning☆11Updated 2 weeks ago
- A near-optimal exact sampler for discrete probability distributions☆56Updated 4 months ago
- Introduction to scientific Python as presented at several schools, workshops and conferences☆29Updated last year
- ☆126Updated 2 years ago
- Generate random nonsense math papers☆604Updated 5 years ago
- FLINT (Fast Library for Number Theory)☆525Updated this week
- Code to download, process, and analyse the Online Encyclopedia of Integer Sequences☆47Updated 6 months ago
- A LaTeX Typesetting Game☆255Updated 4 months ago
- Automatically exported from code.google.com/p/atlasofliegroups☆32Updated this week
- Arb has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆467Updated last year
- The formal proof of the Kepler conjecture☆162Updated last year
- Quantomatic is a tool for doing automated graph rewriting.☆165Updated 5 years ago
- Software suite for ranking chess positions and accurately estimating the number of legal chess positions☆167Updated last year
- Reverse-mode automatic differentiation in Rust (experiment)☆63Updated 4 years ago
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆382Updated this week
- N-body gravity simulation library with C and Python API☆93Updated 3 months ago