Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Chris Lüders
smtcut
Tags
Tags give the ability to mark specific points in history as being important
v4.7.0
d65fd659
·
despace
·
Feb 04, 2021
v4.7.0
v5.0.0
3a28dc47
·
divide tuple by its gcd
·
Feb 10, 2021
v5.0.0
v5.0.1
684cda57
·
sort the (in)equalities by number of non-zero coefficients
·
Feb 10, 2021
v5.0.1
v5.0.2
a3c7b2eb
·
proper help screens
·
Feb 12, 2021
v5.0.2
v5.1.0
a1918589
·
added Return class
·
Feb 19, 2021
v5.1.0
v5.2.0
a1cd8103
·
handle rational functions
·
Feb 22, 2021
v5.2.0
v5.2.1
e4876b1f
·
fixed missing version if cfg.help
·
Feb 22, 2021
v5.2.1
v5.2.2
3a85d5b7
·
v5.2.2
·
Feb 24, 2021
v5.2.2
v5.3.0
ed34987c
·
v5.3.0
·
Feb 24, 2021
v5.3.0
v5.3.1
d3e804a3
·
merged sub_dnf
·
Feb 26, 2021
v5.3.1
v5.3.2
2160b9f4
·
v5.3.2
·
Feb 27, 2021
v5.3.2
v5.3.3
594cf75c
·
removed gauss.py
·
Mar 02, 2021
v5.3.3
v4.6.2
26fbdf81
·
support options in SMTCUT_OPTIONS
·
Apr 18, 2020
version 4.6.2