We plan a server migration, which takes a few days. The exact dates will be announced soon.

Tags

Tags give the ability to mark specific points in history as being important

v1.02c40h

b7842e1f · Merge branch 'refine-goal-constraint4' of... · Jul 03, 2024
```
version 1.02c40h
```
v1.03a2

125435e0 · Fixed the problem that sometimes returns SAT on WBO when recieved a signal · Jul 30, 2024