faizan-m / dwave-sat

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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


Languages

Language:Python 100.0%