Commits · 1b3c01e5ddf4a2e249d6a7f0a32e0ca2d0f23276 · Pascal Bercher / IPC2020-competitor-1

02 Sep, 2020 2 commits
- Retroactively forbid actions with an un-instantiateable effect · 1b3c01e5
  Dominik Schreiber authored Aug 28, 2020 and Gregor Behnke committed Sep 01, 2020
  
  1b3c01e5
- Fix blowup of "almost identical" reductions per position, fix impossible pseudo-effects · 66c91e43
  Dominik Schreiber authored Aug 21, 2020 and Gregor Behnke committed Sep 01, 2020
  
  66c91e43
10 Aug, 2020 2 commits
- Update from Github · 57547481
  Dominik Schreiber authored Aug 10, 2020
  
  57547481
- Update from Github · 6b640f9c
  Dominik Schreiber authored Aug 09, 2020
  
  6b640f9c
08 Aug, 2020 2 commits
- Update from Github · 0e4bff16
  Dominik Schreiber authored Aug 07, 2020
  
  0e4bff16
- Update from Github · c86b7663
  Dominik Schreiber authored Aug 07, 2020
  
  c86b7663
07 Aug, 2020 3 commits
- Rename planner: treerexx -> Lilotane · 2b7fa137
  Dominik Schreiber authored Aug 07, 2020
  
  2b7fa137
- Change and document cmd args · 07ec584c
  Dominik Schreiber authored Aug 06, 2020
  
  07ec584c
- Update from Github · 2778afdf
  Dominik Schreiber authored Aug 06, 2020
  
  2778afdf
06 Aug, 2020 2 commits
- Update from Github · c2a16581
  Dominik Schreiber authored Aug 06, 2020
  
  c2a16581
- Update from Github · 60bd1b5f
  Dominik Schreiber authored Aug 05, 2020
  
  60bd1b5f
05 Aug, 2020 2 commits
- Update from Github · b161e738
  Dominik Schreiber authored Aug 04, 2020
  
  b161e738
- Update from Github · 26cc81fd
  Dominik Schreiber authored Aug 04, 2020
  
  26cc81fd
03 Aug, 2020 1 commit
- Add options to Singularity · 3678bdbc
  Dominik Schreiber authored Aug 03, 2020
  
  3678bdbc
28 Jul, 2020 2 commits
- Disable colored output in Singularity · 84ea8e93
  Dominik Schreiber authored Jul 27, 2020
  
  84ea8e93
- Update from Github · 10131f8b
  Dominik Schreiber authored Jul 27, 2020
  
  10131f8b
25 Jul, 2020 1 commit
- Update from Github · f1b355d3
  Dominik Schreiber authored Jul 24, 2020
  
  f1b355d3
22 Jul, 2020 1 commit
- Update from Github · 1019d6b9
  Dominik Schreiber authored Jul 22, 2020
  
  1019d6b9
21 Jul, 2020 2 commits
- Update from Github · d910baaf
  Dominik Schreiber authored Jul 21, 2020
  
  d910baaf
- Update from Github · d031a539
  Dominik Schreiber authored Jul 20, 2020
  
  d031a539
18 Jul, 2020 5 commits
- Add CaDiCaL makefile · c757acfa
  Dominik Schreiber authored Jul 17, 2020
  
  c757acfa
- Revert back to https github · bb73497c
  Dominik Schreiber authored Jul 17, 2020
  
  bb73497c
- Change cadical github link from https to ssh · 8c291b7d
  Dominik Schreiber authored Jul 17, 2020
  
  8c291b7d
- Update from Github · 853b5072
  Dominik Schreiber authored Jul 17, 2020
  
  853b5072
- Change build to release and with CaDiCaL solver · c22e1d3c
  Dominik Schreiber authored Jul 17, 2020
  
  c22e1d3c
17 Jul, 2020 5 commits
- Update from Github · 8549f87d
  Dominik Schreiber authored Jul 17, 2020
  
  8549f87d
- Replaced git via ssh with git via https · aa860fbb
  Gregor Behnke authored Jul 17, 2020
  
  aa860fbb
- Add git to Singularity · b92270b9
  Gregor Behnke authored Jul 17, 2020
  
  b92270b9
- Set new program options, decrease verbosity · 7c7cbce7
  Dominik Schreiber authored Jul 16, 2020
  
  7c7cbce7
- Update from github · 847f47ac
  Dominik Schreiber authored Jul 16, 2020
  
  847f47ac
10 Jul, 2020 4 commits
- Clean up · 19ac607c
  Dominik Schreiber authored Jul 09, 2020
  
  19ac607c
- Patch singularity file · 0ee1bb83
  Dominik Schreiber authored Jul 09, 2020
  
  0ee1bb83
- Integrate current status from Github · 21941d30
  Dominik Schreiber authored Jul 09, 2020
  
  21941d30
- Revert "new version of pandaPIparser and forall fix" · da668f0e
  Dominik Schreiber authored Jul 09, 2020
```
This reverts commit 666e1f1d.
```
  da668f0e
07 Jul, 2020 1 commit
- new version of pandaPIparser and forall fix · 666e1f1d
  Gregor Behnke authored Jul 07, 2020
  
  666e1f1d
11 Mar, 2020 1 commit
- Integrate current state from Github · 71e818b6
  domschrei authored Mar 10, 2020
  
  71e818b6
09 Mar, 2020 1 commit
- Integrate current state from Github · ca422180
  domschrei authored Mar 09, 2020
  
  ca422180
07 Mar, 2020 1 commit
- Integrate current state from Github · 1fee141a
  domschrei authored Mar 06, 2020
  
  1fee141a
05 Mar, 2020 1 commit
- Integrate current state from Github · 3e880c82
  domschrei authored Mar 04, 2020
  
  3e880c82
04 Mar, 2020 1 commit
- Integrate current state from Github · 3b971283
  domschrei authored Mar 03, 2020
  
  3b971283