nesthdb/config.json at master · vuphan314/nesthdb · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
{
  "db": {
    "dsn": {
      "host": "localhost",
      "port": 5432,
      "database": "",
      "user": "",
      "password": "",
      "application_name": "dpdb"
    },
    "max_connections": 100
  },
  "db_admin": {
    "host": "localhost",
    "port": 5432,
    "database": "",
    "user": "",
    "password": "",
    "application_name": "dpdb-admin"
  },
  "htd": {
    "path": "<PATH_TO>/htd_main",
    "parameters": [
      "--child-limit","5"
    ]
  },
  "problem_specific": {
    "nestpmc": {
      "max_solver_threads": 12,
      "inner_vars_threshold": 40,
      "max_worker_threads": 12
    }
  },
  "nesthdb": {
    "threshold_hybrid" : 1000,
    "threshold_abstract" : 8,
    "max_recursion_depth" : 1,
    "sat_solver": {
      "path": "<PATH_TO>/programs/picosat-965",
      "seed_arg": "-s"
    },
    "sharpsat_solver": {
      "path": "<PATH_TO>/miniC2D-1.0.0",
      "args": "-C -c",
      "output_parser": {
        "class": "RegExReader",
        "args": {
          "pattern": "Counting... (\\d+) models"
        },
        "result":"result"
      }
    },
    "pmc_solver": {
      "path": "<PATH_TO>/projMC-wrapper-1.0",
      "seed_arg": "-s",
      "output_parser": {
        "class": "RegExReader",
        "args": {
          "pattern": "s (\\d+)\\n"
        },
        "result":"result"
      }
    },
    "preprocessor": {
      "path": "<PATH_TO>/pmc-1.0",
      "args": "-vivification -eliminateLit -litImplied -iterate=10"
    },
    "asp": {
      "encodings": [
          {
            "file": "./guess_min_degree.lp",
            "size": 95,
            "timeout": 10
          },
	  {
            "file": "./guess_increase2.lp",
            "size": 64,
            "timeout" : 35
          }
      ]
    }
  }
}