Commits · main · Václav Nevyhoštěný / FouSATy

Apr 24, 2024
- chama · 1a37331f
  Vaclav Nevyhosteny authored Apr 24, 2024
  
  1a37331f
Apr 22, 2024
- phase saving interval change · 51e0ed7d
  Vaclav Nevyhosteny authored Apr 22, 2024
  
  51e0ed7d
- Merge branch 'chama' into 'main' · cc1f1357
  Václav Nevyhoštěný authored Apr 22, 2024
```
Psalms 37:13

See merge request !2
```
  cc1f1357
- Merge branch 'main' into 'chama' · 67350e0a
  Václav Nevyhoštěný authored Apr 22, 2024
```
# Conflicts:
#   src/solver.cpp
```
  67350e0a
- chama · 2e1d0288
  Vaclav Nevyhosteny authored Apr 22, 2024
  
  2e1d0288
- chama · c27430c8
  Vaclav Nevyhosteny authored Apr 22, 2024
  
  c27430c8
Apr 21, 2024
- chama · f6946a63
  Vaclav Nevyhosteny authored Apr 21, 2024
  
  f6946a63
- chama · cd920c36
  Vaclav Nevyhosteny authored Apr 21, 2024
  
  cd920c36
- chama · 00627acd
  Vaclav Nevyhosteny authored Apr 21, 2024
  
  00627acd
- ~chama · 19ce4dff
  Vaclav Nevyhosteny authored Apr 21, 2024
  
  19ce4dff
Apr 17, 2024
- Merge branch 'main' of https://gitlab.fi.muni.cz/xnevyhos/fousaty into main · 48461e01
  uncovsky authored Apr 17, 2024
  
  48461e01
- adjust model generation, change model checking script · ad1853ab
  uncovsky authored Apr 17, 2024
  
  ad1853ab
- chama · 5b0ccd84
  Vaclav Nevyhosteny authored Apr 17, 2024
  
  5b0ccd84
- reclaiming the throne · e02c287c
  uncovsky authored Apr 17, 2024
  
  e02c287c
Apr 16, 2024
- merge · 2b8cdbdb
  uncovsky authored Apr 16, 2024
  
  2b8cdbdb
- The righteous will rejoice when he sees the vengeance; · dbd16ef4
  uncovsky authored Apr 16, 2024
```
He will wash his feet in the blood of the wicked.
```
  dbd16ef4
- logging on · 645f0fdb
  uncovsky authored Apr 16, 2024
  
  645f0fdb
- tests and solver edit · a908e3f1
  uncovsky authored Apr 16, 2024
  
  a908e3f1
- fix evsids and constant · 7e5a8508
  uncovsky authored Apr 16, 2024
  
  7e5a8508
- remove maps + watches · e9930e7e
  Vaclav Nevyhosteny authored Apr 16, 2024
  
  e9930e7e
- solver edits · 53ff2536
  uncovsky authored Apr 16, 2024
  
  53ff2536
- fix · 8cd37a17
  Vaclav Nevyhosteny authored Apr 16, 2024
  
  8cd37a17
Apr 15, 2024
- restarts const fix + ?better? mode changing in phase saving · daf44342
  Vaclav Nevyhosteny authored Apr 15, 2024
  
  daf44342
Apr 14, 2024
- remove unused · 106cd086
  uncovsky authored Apr 14, 2024
  
  106cd086
- tempcommit · 9ea2ba71
  uncovsky authored Apr 14, 2024
  
  9ea2ba71
Apr 10, 2024
- 200bench · c632c675
  uncovsky authored Apr 10, 2024
  
  c632c675
Apr 09, 2024
- readme · bebb022f
  Vaclav Nevyhosteny authored Apr 09, 2024
  
  bebb022f
- fix · d57109bb
  Vaclav Nevyhosteny authored Apr 09, 2024
  
  d57109bb
- restarts · f6d1ef8d
  Vaclav Nevyhosteny authored Apr 09, 2024
  
  f6d1ef8d
- phase saving · 5b88a2db
  Vaclav Nevyhosteny authored Apr 09, 2024
  
  5b88a2db
Apr 08, 2024
- stuff · ff949488
  Vaclav Nevyhosteny authored Apr 08, 2024
  
  ff949488
Apr 07, 2024
- naive cdcl minimalization · fe2be2c9
  Vaclav Nevyhosteny authored Apr 07, 2024
  
  fe2be2c9
Apr 06, 2024
- readme edit · c32a5097
  uncovsky authored Apr 06, 2024
  
  c32a5097
- Merge branch 'evsids' into 'main' · ac7325ad
  Vít Unčovský authored Apr 06, 2024
```
merge evsids

See merge request !1
```
  ac7325ad
- do not output model · 7714fae0
  uncovsky authored Apr 06, 2024
  
  7714fae0
- evsids done · a7c4b242
  uncovsky authored Apr 06, 2024
  
  a7c4b242
- cba2 · 2e9862dd
  uncovsky authored Apr 06, 2024
  
  2e9862dd
- cba · cb3d5087
  uncovsky authored Apr 06, 2024
  
  cb3d5087
Apr 05, 2024
- test times · 6717fda7
  uncovsky authored Apr 05, 2024
  
  6717fda7
- idx lol · cab62285
  Vaclav Nevyhosteny authored Apr 05, 2024
  
  cab62285