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

07 Sep, 2021 9 commits
- Fallback version update · 4e5b7548
  Kučera Petr RNDr. Ph.D. authored Sep 07, 2021
  
  4e5b7548
- Fix in pccompile · 59ab46b6
  Kučera Petr RNDr. Ph.D. authored Sep 07, 2021
  
  59ab46b6
- Code cleaning · 96ce5d40
  Kučera Petr RNDr. Ph.D. authored Sep 07, 2021
  
  96ce5d40
- Fallback version update · 2d1868df
  Kučera Petr RNDr. Ph.D. authored Sep 07, 2021
  
  2d1868df
- Fallback version update · 0016d27f
  Kučera Petr RNDr. Ph.D. authored Sep 07, 2021
  
  0016d27f
- Removed Testing directory · 69e96cb9
  Kučera Petr RNDr. Ph.D. authored Sep 07, 2021
  
  69e96cb9
- Comments removed, readme update · e9fac54b
  Kučera Petr RNDr. Ph.D. authored Sep 07, 2021
  
  e9fac54b
- pccheck options · 953b8729
  Kučera Petr RNDr. Ph.D. authored Sep 07, 2021
  
  953b8729
- pccheck output file · 9ced1dc5
  Kučera Petr RNDr. Ph.D. authored Sep 07, 2021
  
  9ced1dc5
06 Sep, 2021 1 commit
- goal selection in pccheck · a2abfa5a
  Kučera Petr RNDr. Ph.D. authored Sep 06, 2021
  
  a2abfa5a
03 Sep, 2021 3 commits
- timeouts and cardinality options in pccompile · 903a3a37
  Kučera Petr RNDr. Ph.D. authored Sep 03, 2021
  
  903a3a37
- timeouts changed to long double · 92078159
  Kučera Petr RNDr. Ph.D. authored Sep 03, 2021
  
  92078159
- minimization options in pccompile, simplification renamed to · efaa4001
  Kučera Petr RNDr. Ph.D. authored Sep 03, 2021
```
minimization
```
  efaa4001
02 Sep, 2021 3 commits
- Random PC Checks options in pccompile · 5c3c92f5
  Kučera Petr RNDr. Ph.D. authored Sep 02, 2021
  
  5c3c92f5
- One provability options of pccompile · c7755637
  Kučera Petr RNDr. Ph.D. authored Sep 02, 2021
  
  c7755637
- dpelim gcc warning · d9df191c
  Kučera Petr RNDr. Ph.D. authored Sep 02, 2021
  
  d9df191c
01 Sep, 2021 4 commits
- pccompile empowerement options · ca6472d9
  Kučera Petr RNDr. Ph.D. authored Sep 01, 2021
  
  ca6472d9
- pccompile solvers options · 79b98ea8
  Kučera Petr RNDr. Ph.D. authored Sep 01, 2021
  
  79b98ea8
- pccompile preprocessing options · ad7518b4
  Kučera Petr RNDr. Ph.D. authored Sep 01, 2021
  
  ad7518b4
- PCCAlgorithmOptions -> PCCompAlgorithmOptions · 12c6127c
  Kučera Petr RNDr. Ph.D. authored Sep 01, 2021
  
  12c6127c
31 Aug, 2021 2 commits
- Options of pccompile related to the learning algorithm · df0ff181
  Kučera Petr RNDr. Ph.D. authored Aug 31, 2021
  
  df0ff181
- Algorithm selection in pccompile · e010c290
  Kučera Petr RNDr. Ph.D. authored Aug 31, 2021
  
  e010c290
13 Aug, 2021 2 commits
- balanced_cnf in bin, removed examples · 869738e1
  Kučera Petr RNDr. Ph.D. authored Aug 13, 2021
  
  869738e1
- pccheck and pccompile prepared to use PrgOptions · 22b6cb47
  Kučera Petr RNDr. Ph.D. authored Aug 13, 2021
  
  22b6cb47
09 Aug, 2021 2 commits
- pcminimize program options · 419439d8
  Kučera Petr RNDr. Ph.D. authored Aug 09, 2021
  
  419439d8
- DumpVerbosity, parametry triple_cnf, rhbdmc_compile · e3a41c34
  Kučera Petr RNDr. Ph.D. authored Aug 09, 2021
  
  e3a41c34
06 Aug, 2021 3 commits
- Fix in nnf parsing · d3b0d684
  Kučera Petr RNDr. Ph.D. authored Aug 06, 2021
  
  d3b0d684
- nnfsmooth options fix · cbd1c022
  Kučera Petr RNDr. Ph.D. authored Aug 06, 2021
  
  cbd1c022
- nnfsmooth options with PrgOptions · 13779fec
  Kučera Petr RNDr. Ph.D. authored Aug 06, 2021
  
  13779fec
04 Aug, 2021 2 commits
- Options group for cardinality constraints · 5f3ebe2b
  Kučera Petr RNDr. Ph.D. authored Aug 04, 2021
  
  5f3ebe2b
- OptionsGroup and using them in dpelim · 490ce716
  Kučera Petr RNDr. Ph.D. authored Aug 04, 2021
  
  490ce716
03 Aug, 2021 7 commits
- Fixes in pccheck and pccompile · 1119ef8e
  Kučera Petr RNDr. Ph.D. authored Aug 04, 2021
  
  1119ef8e
- nnfencode program options · 4efb5e12
  Kučera Petr RNDr. Ph.D. authored Aug 03, 2021
  
  4efb5e12
- Verbosity level help · dfa11a29
  Kučera Petr RNDr. Ph.D. authored Aug 03, 2021
  
  dfa11a29
- Small fixes in gdbasis program options · 40191584
  Kučera Petr RNDr. Ph.D. authored Aug 03, 2021
  
  40191584
- Uncommented code in dpelim · 0b95f4aa
  Kučera Petr RNDr. Ph.D. authored Aug 03, 2021
  
  0b95f4aa
- gdbasis program options · 042376c3
  Kučera Petr RNDr. Ph.D. authored Aug 03, 2021
  
  042376c3
- Small fixes in dpelim options · 9e7632fb
  Kučera Petr RNDr. Ph.D. authored Aug 03, 2021
  
  9e7632fb
02 Aug, 2021 2 commits
- dpelim program options · d59a1ebe
  Kučera Petr RNDr. Ph.D. authored Aug 03, 2021
  
  d59a1ebe
- Partial refactoring of dpelim options · 2447decf
  Kučera Petr RNDr. Ph.D. authored Aug 02, 2021
  
  2447decf