Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
gradle
c3e6024d
·
Replace maven with gradle
·
Dec 08, 2021
devel
protected
da7272b1
·
change branching example a bit
·
Nov 25, 2021
sbt
77064617
·
refactor build.sbt
·
Nov 25, 2021
z3lib
5c82358b
·
Remove iml
·
Oct 21, 2021
master
default
protected
181bf053
·
Added information that the currently used Z3 version has not been released yet
·
Oct 17, 2021