From b92bdaeebe9cedb3191d2c5e30abf95dcee72e82 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Sat, 24 Jan 2015 18:51:47 +0000 Subject: [PATCH] ML API readme fixes Signed-off-by: Christoph M. Wintersteiger --- examples/ml/README | 2 -- src/api/ml/README | 5 ++--- 2 files changed, 2 insertions(+), 5 deletions(-) diff --git a/examples/ml/README b/examples/ml/README index b7aa187fa..562e9fe46 100644 --- a/examples/ml/README +++ b/examples/ml/README @@ -1,5 +1,3 @@ -### This is work-in-progress. - Small example using the Z3 ML bindings. To build the example execute make examples diff --git a/src/api/ml/README b/src/api/ml/README index f697e5ff4..ffdd3e709 100644 --- a/src/api/ml/README +++ b/src/api/ml/README @@ -1,6 +1,5 @@ -This directory is work in progress. - -We are currently working on a brand new ML API. +This is the new ML API introduced with Z3 4.4. For the legacy bindings, please +refer to previous releases of Z3. On Windows, there are no less than four different ports of OCaml. The Z3 build system assumes that either the win32 or the win64 port is installed. This means