The latest version of the Marabou support as developed by @wlodder is living in the marabou branch. It is based on the original "v1" version of SMLP. In order to merge it to master, the following steps need to be taken:
[ ] perform sanity checks that it indeed works as expected; preferably in an automated manner
[ ] add a switch enabling/disabling Marabou usage in the solver
The latest version of the Marabou support as developed by @wlodder is living in the
maraboubranch. It is based on the original "v1" version of SMLP. In order to merge it tomaster, the following steps need to be taken:For a v2-API version, see #5.