···

       
1
       
1
       
 
       
# This file is generated by dune, edit dune-project instead

     

       
2
       
2
       
 
       
opam-version: "2.0"

     

       
3
       
3
       
-
       
version: "2.4.3"

     

       
4
       
3
       
 
       
synopsis: "The Alt-Ergo SMT prover library"

     

       
5
       
4
       
 
       
description: """

     

       
6
       
5
       
 
       
This is the core library used in the Alt-Ergo SMT solver.

     

···

       
1
       
1
       
 
       
# This file is generated by dune, edit dune-project instead

     

       
2
       
2
       
 
       
opam-version: "2.0"

     

       
3
       
3
       
-
       
version: "2.4.3"

     

       
4
       
3
       
 
       
synopsis: "The Alt-Ergo SMT prover parser library"

     

       
5
       
4
       
 
       
description: """

     

       
6
       
5
       
 
       
This is the parser library used in the Alt-Ergo SMT solver.

     

···

       
1
       
1
       
 
       
# This file is generated by dune, edit dune-project instead

     

       
2
       
2
       
 
       
opam-version: "2.0"

     

       
3
       
3
       
-
       
version: "2.4.3"

     

       
4
       
3
       
 
       
synopsis: "The Alt-Ergo SMT prover"

     

       
5
       
4
       
 
       
description: """

     

       
6
       
5
       
 
       
Alt-Ergo is an automatic theorem prover of mathematical formulas. It was developed at LRI, and is now maintained at OCamlPro.

     

···

       
1
       
1
       
 
       
# This file is generated by dune, edit dune-project instead

     

       
2
       
2
       
 
       
opam-version: "2.0"

     

       
3
       
3
       
-
       
version: "2.4.3"

     

       
4
       
3
       
 
       
synopsis: "The GUI for the Alt-Ergo SMT prover"

     

       
5
       
4
       
 
       
description: """

     

       
6
       
5
       
 
       
Altgr-Ergo is the graphical interface for the Alt-Ergo SMT prover.