Skip to content

Commit

Permalink
update README - mention support for Alt-Ergo in the intro
Browse files Browse the repository at this point in the history
  • Loading branch information
@hra687261 @filipeom
hra687261 authored and filipeom committed Oct 10, 2024
1 parent 17214de commit 4c3ba65
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,8 +4,8 @@ Smt.ml is a Multi Back-end Front-end for SMT Solvers in OCaml. The primary
objective of Smt.ml is to facilitate the effortless transition between
different SMT solvers during program analysis, as certain SMT solvers may prove
more efficient at handling specific logics and formulas. Presently, Smt.ml
offers support for [Z3], [Colibri2], and [Bitwuzla], and ongoing efforts are directed
towards incorporating support for [cvc5] and [Alt-Ergo].
offers support for [Z3], [Colibri2], [Bitwuzla], and [Alt-Ergo], and ongoing
efforts are directed towards incorporating support for [cvc5].

## Installation

Expand Down

0 comments on commit 4c3ba65

Please sign in to comment.