QA_SAT
/
qubo_lab
2
0
Fork 0
Code Issues 0 Pull Requests 0 Releases 0 Wiki Activity

Commit Graph

  • 11c0b6c (HEAD -> master) changed submodule url by Tom Krüger 2020-04-01 15:54:43 +0200
  • d867102 embedding data extraction by Tom 2020-01-09 23:50:52 +0100
  • b02535a sync by Tom 2019-08-14 01:22:46 +0200
  • 5c2bd8b sync by Tom 2019-08-05 23:29:28 +0200
  • 34fa181 added local scons by Tom 2019-08-05 21:13:13 +0200
  • f1c6379 moved data extraction to /util by Tom 2019-08-05 17:18:11 +0200
  • 9ee5223 sync by Tom 2019-08-05 16:34:10 +0200
  • 5a67d56 sync by Tom 2019-05-29 18:31:40 +0200
  • 3bc8fb5 fix solver_args by Tom 2019-04-17 11:04:38 +0200
  • 460db23 prepared qpu solving by Tom 2019-04-15 23:09:12 +0200
  • 348c733 instance creation following a logistic distribution/ inverted qubo weights in SAT2QUBO by Tom 2019-04-11 12:20:45 +0200
  • 25e2011 satisfiability based on wmis sample majority vote by Tom 2019-04-08 21:12:53 +0200
  • 9a8c908 randomSAT: fixed random sat generation; satlabcxx: fixed *2bson converters by Tom 2019-04-05 13:07:38 +0200
  • 0ed2b27 queries: switched to lazy loding by Tom 2019-04-03 21:36:11 +0200
  • a5cc2ca data extraction by Tom 2019-04-02 16:55:34 +0200
  • d598276 sync by Tom 2019-04-02 13:16:26 +0200
  • 05451cc implemented ExperimentScope by Tom 2019-02-20 16:07:03 +0100
  • 95ddced added conflicts and degrees_of_variables to instance db entries by Tom 2019-02-18 16:21:31 +0100
  • 967c2e8 mongoc as submodule by Tom 2019-02-15 21:51:48 +0100
  • 9346bcd implemented basics by Tom 2019-02-15 21:28:37 +0100
  • 4f9ae6c added minisat code base by Tom 2019-02-08 23:07:45 +0100
  • 0a0fbcc cleaned up generateRandomKsatDataSet_db.py / fixed type casting bug in ArgumentParser by Tom 2019-02-08 13:03:15 +0100
  • 1e1b527 sync by Tom 2019-02-08 12:30:10 +0100
  • bc5de0c init by Tom 2018-12-19 21:41:19 +0100
  • 63f6e29 Initial commit by Tom 2018-12-19 21:33:56 +0100