Address
:
[go:
up one dir
,
main page
]
Include Form
Remove Scripts
Accept Cookies
Show Images
Show Referer
Rotate13
Base64
Strip Meta
Strip Title
Session Cookies
Commits · main
exact
Browse files
Aug 10, 2022
Merge branch 'main' into 'main'
· c7cedc12
JoD
authored
Aug 10, 2022
c7cedc12
Aug 09, 2022
New RNG
· 2b0ea190
Johann-Tobias Schäg
authored
Aug 09, 2022
2b0ea190
Aug 08, 2022
Merge branch 'jofri-main-patch-20544' into 'main'
· 6a4e7fec
JoD
authored
Aug 08, 2022
6a4e7fec
Add dbScale functionality
· a03f20ac
jofri
authored
Aug 08, 2022
and
JoD
committed
Aug 08, 2022
a03f20ac
Apr 20, 2022
mention coinutils flag
· fc556bcd
JoD
authored
Apr 20, 2022
fc556bcd
coinutils installation instructions
· 01429139
JoD
authored
Apr 20, 2022
01429139
autoformat
· e4ce9fbf
JoD
authored
Apr 20, 2022
e4ce9fbf
version 0.5.3
· d11855b4
JoD
authored
Apr 20, 2022
View commits for tag 0.5.3
0.5.3
d11855b4
automate .so compilation
· 877e7bcf
JoD
authored
Apr 20, 2022
877e7bcf
new dockerfiles
· 8aaa3c4a
JoD
authored
Apr 20, 2022
8aaa3c4a
previous version works too?
· a20276c1
JoD
authored
Apr 20, 2022
a20276c1
compile on bionic
· 743272b5
JoD
authored
Apr 20, 2022
743272b5
Apr 19, 2022
ci update
· 92f3ef5c
JoD
authored
Apr 19, 2022
92f3ef5c
update ci
· 412e2354
JoD
authored
Apr 19, 2022
412e2354
remove dependencies from shared_lib
· 377b8088
JoD
authored
Apr 19, 2022
377b8088
fix old MIT ref
· 56387f0f
JoD
authored
Apr 19, 2022
56387f0f
try to get python package CI working
· b498514d
JoD
authored
Apr 19, 2022
b498514d
ci
· fb7f22c5
JoD
authored
Apr 14, 2022
fb7f22c5
better printing
· cfdd08c2
JoD
authored
Apr 17, 2022
cfdd08c2
new maxsat format
· 51069359
JoD
authored
Apr 15, 2022
51069359
fix overriding options
· 2ec129da
JoD
authored
Apr 13, 2022
2ec129da
lots of small fixes
· 3a3f45d2
JoD
authored
Apr 07, 2022
3a3f45d2
Change to AGPL
· 297be1bf
JoD
authored
Apr 04, 2022
297be1bf
Dec 16, 2021
add rto option
· 1ad9b921
JoD
authored
Dec 16, 2021
1ad9b921
Dec 10, 2021
remove obsolete FindGMP.cmake
· 47e1b6a0
JoD
authored
Dec 10, 2021
47e1b6a0
update to SoPlex 6.0.0
· 5bf25f88
JoD
authored
Dec 10, 2021
5bf25f88
Nov 09, 2021
fix compiler warnings
· d9e6cc47
JoD
authored
Nov 09, 2021
d9e6cc47
rename aux to auxiliary
· 9f28fd83
JoD
authored
Nov 09, 2021
9f28fd83
Sep 20, 2021
version 0.4.0
· 42493995
JoD
authored
Sep 20, 2021
View commits for tag 0.4.0
0.4.0
42493995
Merge branch 'master' of gitlab.com:JoD/exact-dev
· 7325ad94
JoD
authored
Sep 20, 2021
7325ad94
Readme
· 3593fef8
JoD
authored
Sep 20, 2021
3593fef8
Readme
· c0b962c7
JoD
authored
Sep 20, 2021
c0b962c7
Sep 09, 2021
wrap-up
· ece8c35a
JoD
authored
Sep 09, 2021
ece8c35a
tmp
· 4a47f877
JoD
authored
Sep 09, 2021
4a47f877
first version of propagate
· c8e52a78
JoD
authored
Sep 09, 2021
c8e52a78
Sep 08, 2021
don't use _unused()
· ae681e3c
JoD
authored
Sep 08, 2021
ae681e3c
Sep 06, 2021
allow mixed addition of auxiliary and original variables
· f19a6d14
JoD
authored
Sep 06, 2021
f19a6d14
Aug 24, 2021
Merge branch 'master' of gitlab.com:/JoD/exact
· 47b46659
JoD
authored
Aug 24, 2021
47b46659
version 0.3.3
· 2cc67a13
JoD
authored
Aug 24, 2021
View commits for tag 0.3.3
0.3.3
2cc67a13
update Readme
· 5b0bc8e6
JoD
authored
Aug 24, 2021
5b0bc8e6
Loading