Skip to content

GitLab

Explore

Sign in
Register

Tags

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

v3.0.0

44a48215 · Change `Char` to use `String` in SMT instead of `Int` · Oct 05, 2021
```
v3.0.0
```
v0.0.1

3af71933 · Merge branch 'master' of ssh://git.ps.informatik.uni-kiel.de:55055/curry-packages/smtlib · Jan 03, 2019
```
v0.0.1
```