MarabouUtils¶
- Top contributors (to current version):
Christopher Lazarus
Shantanu Thakoor
Kyle Julian
This file is part of the Marabou project. Copyright (c) 2017-2019 by the authors listed in the file AUTHORS in the top-level source directory) and their institutional affiliations. All rights reserved. See the file COPYING in the top-level source directory for licensing information.
MarabouUtils contains supporting Maraboupy code that doesn’t fit in other files
-
class
maraboupy.MarabouUtils.
Equation
(EquationType=EquationType.EQ)[source]¶ Bases:
object
Python class to conveniently represent
Equation
-
addendList
[source]¶ Each addend tuple contains a coefficient and variable number
- Type
list of tuples
-