Marabou Integration#11

Open

ntinouldinho wants to merge 29 commits intomasterfrom

external-verifiers-vnnlib

Commits on Jul 24, 2024

Commits on Jul 26, 2024

add scaled/unscaled functionality
ntinouldinho
committed

Commits on Jul 30, 2024

Commits on Jul 31, 2024

Commits on Aug 16, 2024

Commits on Aug 17, 2024

abstract classes for solver agnostic communication
ntinouldinho
committed

Commits on Aug 20, 2024

Commits on Aug 23, 2024

continue merging of solver
ntinouldinho
committed

Commits on Aug 26, 2024

add profiler
ntinouldinho
committed

Commits on Aug 30, 2024

dynamically load nn and specs
ntinouldinho
committed

Commits on Sep 1, 2024

Merge branch 'master' into external-verifiers-vnnlib
ntinouldinho
committed

Commits on Nov 10, 2024

Documentation
konstantopoulos-tetractys
committed