This package provides a reimplementation of Marabou's neural network (parsing) functionality, specifically at commit 019f16633c3b18999e253d0a325e92ed8cda3c1f (April 26, 2022). See the header and source files for more details.
This package provides a reimplementation of Marabou's neural network (parsing) functionality, specifically at commit 019f16633c3b18999e253d0a325e92ed8cda3c1f (April 26, 2022). See the header and source files for more details.