GitHub / thtran97 / Local-Search-for-SAT
Implementation of local search-based algorithms for solving SAT and Max-SAT in Python
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/thtran97%2FLocal-Search-for-SAT
PURL: pkg:github/thtran97/Local-Search-for-SAT
Stars: 8
Forks: 2
Open issues: 0
License: None
Language: Python
Size: 85 KB
Dependencies parsed at: Pending
Created at: almost 5 years ago
Updated at: over 2 years ago
Pushed at: over 4 years ago
Last synced at: over 2 years ago
Topics: adaptive-novelty, combinatorial-optimization, gsat, iterated-local-search, local-search, max-sat, novelty, r-novelty, random-walk, sat-solver, tabu-search, walksat-algorithm