Explore projects
-
Nonfiction Software / ManyWorlds
GNU Affero General Public License v3.0An elegant and efficient combinatorial programming language.
Updated -
MIAO / Software / VeriPB
MIT LicenseProof checker for proof logging method using pseudo-Boolean reasoning for various combinatorial solving and optimization algorithms.
Updated -
MIAO / Software / CakePB
BSD 3-Clause "New" or "Revised" LicenseFormally verified proof checker for pseudo-Boolean reasoning for various combinatorial solving and optimization problems based on the CakeML ecosystem.
Updated -
-
A C++ implementation of my novel optimisation method for open-shop scheduling with arbitrary constraints.
UpdatedUpdated -
An implementation of optimisation heuristics for the TSP, designed to run in less than two seconds on 1000-cities input
Updated -
The developed software project is optimized job-shop scheduling problem using lottery planning.
Updated -
Takanori Maehara / baico
MIT LicenseBest Arm Identification-based Combinatorial Optimization Algorithms
Updated -
Daniel H. Stolfi / Epigenetic Algorithm
MIT LicenseThe epiGenetic Algorithm (epiGA), consists of a set of strategies, based on evolutionary computation, inspired in nature, especially in epigenetics, with the aim of solving complex combinatorial problems.
Updated -
Daniel H. Stolfi / Epigenetic Algorithm.py
MIT LicenseThe epiGenetic Algorithm (epiGA), consists of a set of strategies, based on evolutionary computation, inspired in nature, especially in epigenetics, with the aim of solving complex combinatorial problems
Updated