mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
removed unnecessary README
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
parent
fa53b1eb92
commit
5057257e40
|
@ -1,9 +0,0 @@
|
|||
This directory contains the "remains" of the old parameter setting
|
||||
infrastructure used by Z3. Old code (mostly `smt::context`) is still
|
||||
based on the front_end_params structure. However, we removed support
|
||||
for the old INI file infrastructure. Instead, we have functions for
|
||||
setting the fields of front_end_params using parameter sets
|
||||
(params_ref). Moreover, many of the parameters in front_end_params
|
||||
are now "hidden". That is, they can't be set from the command line or
|
||||
using the command `set-option`.
|
||||
|
Loading…
Reference in a new issue