All Categories → No Category → np-complete

Top 4 np-complete open source projects

Go (golang) bindings for Picosat, the satisfiability solver

✭ 15

c go optimization optimizer np-hard np-complete satsolver picosat satisfiability-solver

OptaPy is an AI constraint solver for Python to optimize planning and scheduling problems.

✭ 167

python java javascript artificial-intelligence np-hard np-complete vehicle-routing-problem local-search simulated-annealing tabu-search metaheuristics employee-rostering task-assignment traveling-salesman-problem mathematical-optimization

AntColonyOptimization-TSP

An Ant Colony Optimization algorithm for the Traveling Salesman Problem

✭ 29

matlab optimization np-complete traveling-salesman meta-heuristic

Experimental minisat SAT solver reimplementation in Rust

✭ 68

rust np-complete cnf sat-solver minisat

1-4 of 4 np-complete projects