Skip to content
Snippets Groups Projects
Commit cb3a405b authored by Carlos Olarte's avatar Carlos Olarte
Browse files

Improving Readme

parent b64bc687
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 2 deletions
README.md
+ 2
− 2
View file @ cb3a405b
...@@ -21,8 +21,8 @@ files. ...@@ -21,8 +21,8 @@ files.
The specification can be found in the folder `maude`. It includes the following files: The specification can be found in the folder `maude`. It includes the following files:
- _alt-smt_: Representation of SMT Boolean, Integer and Real expressions as - _alt-smt_: Representation of SMT Boolean, Integer and Real expressions as
Maude's terms. SMT variables are encoded as terms of the form bb(x), ii(x) Maude's terms. SMT variables are encoded as terms of the form `bb(x)`, `ii(x)`
and rr(x) where x is a term of sort SMTVarId. and `rr(x)` where `x` is a term of sort `SMTVarId`.
- _analysis_: Definition of commands to perform parameter-synthesis and search - _analysis_: Definition of commands to perform parameter-synthesis and search
with folding. with folding.
- _fme_: Implementation of the Fourier–Motzkin elimination procedure. - _fme_: Implementation of the Fourier–Motzkin elimination procedure.
......
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