Commit 3a1fb8ab authored by François Bobot's avatar François Bobot
Browse files

Merge branch 'patch-2' into 'master'

Typos in website

Closes #2

See merge request !1
parents 0d94f80d 84da8077
......@@ -19,7 +19,7 @@ to improve the reasonning power of current software verification tools in order
to make them more powerful, more efficient and easier to use.
During this project, a new framework for the
cooperation of solvers we will be designed. It will focused on model
cooperation of solvers we will be designed. It will be focused on model
generation and borrowing
principles from SMT (current standard) and CP (well-known in
optimization).
......
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