Commits · master · Kučera Petr RNDr. Ph.D. / PCCompile

10 May, 2022 2 commits
- Fallback version update · 54870c7b
  Kučera Petr RNDr. Ph.D. authored May 10, 2022
  
  54870c7b
- CaDiCaL and KisSAT disabled in Python interface · 36134ed3
  Kučera Petr RNDr. Ph.D. authored May 10, 2022
  
  36134ed3
08 Feb, 2022 2 commits
- fallback version update · e990dabc
  Kučera Petr RNDr. Ph.D. authored Feb 08, 2022
  
  e990dabc
- Merge branch 'feature' · 7715534a
  Kučera Petr RNDr. Ph.D. authored Feb 08, 2022
  
  7715534a
04 Feb, 2022 2 commits
- readme update · 97732195
  Kučera Petr RNDr. Ph.D. authored Feb 04, 2022
  
  97732195
- Solver option in some other programs · a0501aa0
  Kučera Petr RNDr. Ph.D. authored Feb 04, 2022
  
  a0501aa0
01 Feb, 2022 2 commits
- Fixes · 24e25e6d
  Kučera Petr RNDr. Ph.D. authored Feb 01, 2022
  
  24e25e6d
- Glucose can now be missing if cadical is present · 534b16ff
  Kučera Petr RNDr. Ph.D. authored Feb 01, 2022
  
  534b16ff
29 Jan, 2022 4 commits
- cadical adaptation · cfc3d7ec
  Kučera Petr RNDr. Ph.D. authored Jan 29, 2022
  
  cfc3d7ec
- Reworked solver related options · bb64ba76
  Kučera Petr RNDr. Ph.D. authored Jan 29, 2022
  
  bb64ba76
- Log output · 8c1e6682
  Kučera Petr RNDr. Ph.D. authored Jan 29, 2022
  
  8c1e6682
- Solver type can be changed globally · ef2e1860
  Kučera Petr RNDr. Ph.D. authored Jan 29, 2022
  
  ef2e1860
28 Jan, 2022 4 commits
- Optional glucose support · 41346aa3
  Kučera Petr RNDr. Ph.D. authored Jan 28, 2022
  
  41346aa3
- CMakeLists for optional glucose support · 214bc7fb
  Kučera Petr RNDr. Ph.D. authored Jan 28, 2022
  
  214bc7fb
- Solver options · ad17cbe9
  Kučera Petr RNDr. Ph.D. authored Jan 28, 2022
  
  ad17cbe9
- Cadical can be used for PC checks · 1c242551
  Kučera Petr RNDr. Ph.D. authored Jan 28, 2022
  
  1c242551
27 Jan, 2022 2 commits
- Testing cadical bind · 7352f9a6
  Kučera Petr RNDr. Ph.D. authored Jan 27, 2022
  
  7352f9a6
- cadical bind implementation · ecd8cbb0
  Kučera Petr RNDr. Ph.D. authored Jan 27, 2022
  
  ecd8cbb0
26 Jan, 2022 2 commits
- CaDiCaL bind · c259a333
  Kučera Petr RNDr. Ph.D. authored Jan 26, 2022
  
  c259a333
- Started implementing CaDiCaL support · 371f957a
  Kučera Petr RNDr. Ph.D. authored Jan 26, 2022
  
  371f957a
25 Jan, 2022 1 commit
- vector_set implementation · 26ff4b50
  Kučera Petr RNDr. Ph.D. authored Jan 25, 2022
  
  26ff4b50
24 Jan, 2022 2 commits
- vector_set · 60e372ea
  Kučera Petr RNDr. Ph.D. authored Jan 24, 2022
  
  60e372ea
- vector_set class header · 5cbd8e5a
  Kučera Petr RNDr. Ph.D. authored Jan 24, 2022
  
  5cbd8e5a
20 Jan, 2022 1 commit
- Fixed size estimation in SCC unary encoding · 3ec629bd
  Kučera Petr RNDr. Ph.D. authored Jan 20, 2022
  
  3ec629bd
14 Jan, 2022 1 commit
- Program cnfsize · bde78d4c
  Kučera Petr RNDr. Ph.D. authored Jan 14, 2022
  
  bde78d4c
13 Jan, 2022 1 commit
- progress report in cnfprime · 4979f95f
  Kučera Petr RNDr. Ph.D. authored Jan 13, 2022
  
  4979f95f
12 Jan, 2022 1 commit
- Fallback version update · 443e8eaa
  Kučera Petr RNDr. Ph.D. authored Jan 12, 2022
  
  443e8eaa
11 Jan, 2022 4 commits
- Refactoring · 815f3387
  Kučera Petr RNDr. Ph.D. authored Jan 11, 2022
  
  815f3387
- Synchronizing the CNF and IS hypotheses · f1993a9b
  Kučera Petr RNDr. Ph.D. authored Jan 11, 2022
  
  f1993a9b
- Fallback version update · d0f748ad
  Kučera Petr RNDr. Ph.D. authored Jan 11, 2022
  
  d0f748ad
- pccompile option --use-cnf-hypothesis-for-empowerment · c12f39ef
  Kučera Petr RNDr. Ph.D. authored Jan 11, 2022
  
  c12f39ef
10 Jan, 2022 1 commit
- Fallback version update · 4d926665
  Kučera Petr RNDr. Ph.D. authored Jan 10, 2022
  
  4d926665
09 Jan, 2022 2 commits
- Stasticial and debug output changes · 396c801f
  Kučera Petr RNDr. Ph.D. authored Jan 09, 2022
  
  396c801f
- Option for the policy of extracting candidates from clauses added to the · f7c7fc0f
  Kučera Petr RNDr. Ph.D. authored Jan 09, 2022
```
hypothesis given a negative example added to the implicational system
```
  f7c7fc0f
08 Jan, 2022 4 commits
- Merge branch 'master' into feature · 398e3f61
  Kučera Petr RNDr. Ph.D. authored Jan 08, 2022
  
  398e3f61
- Fix in DIMACS parsing · 86fc8986
  Kučera Petr RNDr. Ph.D. authored Jan 08, 2022
  
  86fc8986
- Candidates from added negative option (not yet finished) · c3f596ed
  Kučera Petr RNDr. Ph.D. authored Jan 08, 2022
  
  c3f596ed
- PrgConfigBase and random seed as a common parameter · a2027d23
  Kučera Petr RNDr. Ph.D. authored Jan 08, 2022
  
  a2027d23
06 Jan, 2022 2 commits
- seed as global parameter · 452ff186
  Kučera Petr RNDr. Ph.D. authored Jan 06, 2022
  
  452ff186
- Added build.sh · 718d5a45
  Kučera Petr RNDr. Ph.D. authored Jan 06, 2022
  
  718d5a45