Skip to content

faizan-m/dwave-sat

Repository files navigation

Instances: Contains dimacs instances from karatsuba and translated qubo versions

dimacs_to_qubo.py: Translates all dimacs files in a given directory to qubo ones. Current qubo format is the tuple given by the dwave api.

karatsuba_geninst: Generates semiprimes and gets their karatsuba dimacs from an online API

karatsuba_genplot.py: Generates plots regarding dimacs instances and stores in results

dimacs_solver.py: Sample code for solving a dimacs problem by converting to BQM

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages