Commit 327b7e18 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

* bench/dtgbasat/README: Update glucose URL.

parent f567d88f
......@@ -5,7 +5,7 @@ To reproduce, follow these instructions:
1) Compile Spot and install if it is not already done.
2) Compile Glucose from https://www.lri.fr/~simon/?page=glucose
2) Compile Glucose 3 from http://www.labri.fr/perso/lsimon/glucose/
and make sure the 'glucose' binary is in your PATH.
3) Compile ltl2dstar from http://www.ltl2dstar.de/ and
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment