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

Commit Graph

  • 11c0b6c7e9 changed submodule url master Tom Krüger 2020-04-01 15:54:43 +02:00
  • d867102eb3 embedding data extraction Tom 2020-01-09 23:50:52 +01:00
  • b02535ade2 sync Tom 2019-08-14 01:22:46 +02:00
  • 5c2bd8bdef sync Tom 2019-08-05 23:29:28 +02:00
  • 34fa181195 added local scons Tom 2019-08-05 21:13:13 +02:00
  • f1c63793c7 moved data extraction to /util Tom 2019-08-05 17:18:11 +02:00
  • 9ee52233ea sync Tom 2019-08-05 16:34:10 +02:00
  • 5a67d56282 sync Tom 2019-05-29 18:31:40 +02:00
  • 3bc8fb500f fix solver_args Tom 2019-04-17 11:04:38 +02:00
  • 460db2369f prepared qpu solving Tom 2019-04-15 23:09:12 +02:00
  • 348c733656 instance creation following a logistic distribution/ inverted qubo weights in SAT2QUBO Tom 2019-04-11 12:20:45 +02:00
  • 25e201177f satisfiability based on wmis sample majority vote Tom 2019-04-08 21:12:53 +02:00
  • 9a8c908eae randomSAT: fixed random sat generation; satlabcxx: fixed *2bson converters Tom 2019-04-05 13:07:38 +02:00
  • 0ed2b27b99 queries: switched to lazy loding Tom 2019-04-03 21:36:11 +02:00
  • a5cc2cad13 data extraction Tom 2019-04-02 16:55:34 +02:00
  • d5982763f8 sync Tom 2019-04-02 13:16:26 +02:00
  • 05451ccbcd implemented ExperimentScope Tom 2019-02-20 16:07:03 +01:00
  • 95ddced74a added conflicts and degrees_of_variables to instance db entries Tom 2019-02-18 16:21:31 +01:00
  • 967c2e8673 mongoc as submodule Tom 2019-02-15 21:51:48 +01:00
  • 9346bcdf63 implemented basics Tom 2019-02-15 21:28:37 +01:00
  • 4f9ae6c67d added minisat code base Tom 2019-02-08 23:07:45 +01:00
  • 0a0fbcc46d cleaned up generateRandomKsatDataSet_db.py / fixed type casting bug in ArgumentParser Tom 2019-02-08 13:03:15 +01:00
  • 1e1b527566 sync Tom 2019-02-08 12:30:10 +01:00
  • bc5de0c994 init Tom 2018-12-19 21:41:19 +01:00
  • 63f6e29ad9 Initial commit Tom 2018-12-19 21:33:56 +01:00