Python Combinatorial Optimisation Platform
☆162Apr 2, 2021Updated 4 years ago
Alternatives and similar repositories for Numberjack
Users that are interested in Numberjack are comparing it to the libraries listed below
Sorting:
- ☆32Feb 22, 2024Updated 2 years ago
- The Pseudo-Boolean Solver MiniSat+☆29Oct 2, 2012Updated 13 years ago
- Exact optimization for cost function networks and additive graphical models☆64Updated this week
- Low-level primitives for collapsed Gibbs sampling in python and C++☆33Mar 27, 2024Updated last year
- The CP solver Chuffed☆20Sep 26, 2016Updated 9 years ago
- ☆26Dec 2, 2025Updated 3 months ago
- Sequencing analysis pipeline☆15Dec 12, 2025Updated 2 months ago
- Layered distributions using FLAX/JAX☆10Dec 13, 2020Updated 5 years ago
- abi2fastq is a small utility to convert Sanger sequencing reads in .abi (applied biosystems) format to FASTQ☆11Sep 19, 2017Updated 8 years ago
- Modeling and Programming with Gecode☆50Feb 18, 2026Updated 2 weeks ago
- Spawns JupyterHub single user servers in Marathon☆11Oct 8, 2017Updated 8 years ago
- Optimization Case Studies: Generic Time Scheduling Problem (GTSP), Resource-Constrained Project Scheduling Problem (RCPSP) with Pulse Var…☆11Nov 7, 2018Updated 7 years ago
- VM injector to evaluate placement algorithms by simulation.☆10Jun 25, 2020Updated 5 years ago
- clone from myJIT(a fork of GNU lightning)☆11Mar 17, 2015Updated 10 years ago
- ADENINE: A Data ExploratioN PipelINE☆15Jul 30, 2018Updated 7 years ago
- Maybe next gen of Pyzo IDE based on Flexx☆17Dec 17, 2017Updated 8 years ago
- Nutmeg – a MIP and CP branch-and-check solver☆33Jun 22, 2023Updated 2 years ago
- A Python molecular biology CAD tool with a dead-simple user interface☆12Dec 8, 2022Updated 3 years ago
- Papercut NNTP server☆15Jul 1, 2016Updated 9 years ago
- ☆15Jan 15, 2019Updated 7 years ago
- A constellation of packages for document creation in R☆14Oct 9, 2019Updated 6 years ago
- generative programming & verification☆34Jun 19, 2025Updated 8 months ago
- Tools for stress testing applications.☆12Sep 20, 2020Updated 5 years ago
- Multi-platform, self-contained and object-oriented implementation of the Simplex Algorithm in C++☆14Mar 11, 2021Updated 4 years ago
- Branch-and-Price Algorithm for the Bin Packing Problem (using CPLEX as pricer and LP solver). It implements a Ryan-Foster branching schem…☆16Feb 24, 2019Updated 7 years ago
- ☆16May 21, 2023Updated 2 years ago
- A route planner for DNA assembly☆36May 12, 2025Updated 9 months ago
- JMiniZinc☆18Oct 13, 2020Updated 5 years ago
- MiniCard: An efficient cardinality solver based on MiniSAT☆19Jun 22, 2025Updated 8 months ago
- Experimentation code for the article "Building Topic Models Based on Anchor Words" based on the paper "Learning Topic Models: Going beyon…☆15May 13, 2014Updated 11 years ago
- Sparse matrix spy plot and sparkline renderer.☆18Nov 18, 2024Updated last year
- Regeneration of Google's tpu-resnet tutorial☆12Aug 22, 2018Updated 7 years ago
- Fast Dot Products on Pretty Big Data☆15Jul 29, 2018Updated 7 years ago
- Web based Registry platform for managing synthetic biological parts☆42May 16, 2024Updated last year
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Jul 12, 2017Updated 8 years ago
- 💫 Computer-aided DNA assembly validation and identification from restriction digests.☆15May 29, 2025Updated 9 months ago
- Using Genetic Algorithms to aid Machine Learning☆20Feb 20, 2018Updated 8 years ago
- Automated NLP sentiment predictions- batteries included, or use your own data☆18Dec 15, 2017Updated 8 years ago
- A state-of-the-art exact Branch-Cut-and-Price algorithm for the Capacitated Location-Routing Problem and related problems☆18Dec 19, 2022Updated 3 years ago