QA_SAT
/
qubo_lab
2
0
Fork 0
Code Issues 0 Pull Requests 0 Releases 0 Wiki Activity
25 Commits
1 Branch
7.0 MiB
Branch: master
Branches Tags
${ item.name }
Create branch ${ searchTerm }
from 'master'
${ noResults }
Commit Graph

16 Commits (master)

Author SHA1 Message Date
  Tom d867102eb3 embedding data extraction 5 years ago
  Tom 5c2bd8bdef sync 5 years ago
  Tom 34fa181195 added local scons 5 years ago
  Tom f1c63793c7 moved data extraction to /util 5 years ago
  Tom 9ee52233ea sync 5 years ago
  Tom 5a67d56282 sync 5 years ago
  Tom 460db2369f prepared qpu solving 6 years ago
  Tom 348c733656 instance creation following a logistic distribution/ inverted qubo weights in SAT2QUBO 6 years ago
  Tom 25e201177f satisfiability based on wmis sample majority vote 6 years ago
  Tom 9a8c908eae randomSAT: fixed random sat generation; satlabcxx: fixed *2bson converters 6 years ago
  Tom 0ed2b27b99 queries: switched to lazy loding 6 years ago
  Tom a5cc2cad13 data extraction 6 years ago
  Tom d5982763f8 sync 6 years ago
  Tom 0a0fbcc46d cleaned up generateRandomKsatDataSet_db.py / fixed type casting bug in ArgumentParser 6 years ago
  Tom 1e1b527566 sync 6 years ago
  Tom bc5de0c994 init 6 years ago