Skip to content
GitLab
Explore
Sign in
af3
AF3
Repository
af3
..
solver
SolverRun.java
Find file
Blame
History
Permalink
Use seconds to specificy DSE timeout and increase default to 30 mins
· 8480e020
Simon Barner
authored
Oct 07, 2022
Issue-Ref: 4267 Issue-Url:
#4267
Signed-off-by:
Simon Barner
<
barner@fortiss.org
>
8480e020