Permalink
Browse files

README: Fix malformed table

  • Loading branch information...
marcogario committed Dec 17, 2018
1 parent 8387853 commit ecccce93abeb70fad9741e81bb44c5b258b48e68
Showing with 1 addition and 1 deletion.
  1. +1 −1 README.rst
@@ -238,7 +238,7 @@ each of the available solvers.
+------------------+-----------+--------------------------------+-------------+------------------------+------------+--------------+
| Z3 | z3 | UF, LIA, LRA, BV, AX, NRA, NIA | z3 | z3 | Yes | Yes |
+------------------+-----------+--------------------------------+-------------+------------------------+------------+--------------+
| CVC4 | cvc4 | UF, LIA, LRA, BV, AX, S | Yes | No | No | No |
| CVC4 | cvc4 | UF, LIA, LRA, BV, AX, S | Yes | No | No | No |
+------------------+-----------+--------------------------------+-------------+------------------------+------------+--------------+
| Yices | yices | UF, LIA, LRA, BV | No | No | No | No |
+------------------+-----------+--------------------------------+-------------+------------------------+------------+--------------+

0 comments on commit ecccce9

Please sign in to comment.