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