Issues

• create binary releases

  NeuralNetworkVerification/Marabou#896 · Filter by author NikolajBjorner opened on Sep 15, 2026
  1

  

• Unsupported Clip Operator for onnx files

  NeuralNetworkVerification/Marabou#893 · Filter by author zstone1 opened on Dec 3, 2025
  

• How to use the version that used to attend VNN-COMP 2024?

  NeuralNetworkVerification/Marabou#885 · Filter by author ytsao opened on Jul 11, 2025
  1

• Onnx operation Div not currectly supported by Marabou.

  NeuralNetworkVerification/Marabou#884 · Filter by author ytsao opened on Jul 3, 2025
  2

• [Bug report] SAT value assignment where inputs do not respect the bounds

  NeuralNetworkVerification/Marabou#883 · Filter by author paulsushmita opened on Jul 3, 2025
  2

• Inconsistency between Marabou and maraboupy on ACAS property phi10

  NeuralNetworkVerification/Marabou#882 · Filter by author GirardR1006 opened on Jun 12, 2025
  1

• Invalid SAT Witness (with Colab Reproduction)

  NeuralNetworkVerification/Marabou#880 · Filter by author YalcinerMustafa opened on May 27, 2025
  4

• Collection of Bug Reports and Potential Fixes - Request for Support

  NeuralNetworkVerification/Marabou#879 · Filter by author YalcinerMustafa opened on Apr 27, 2025

• Error: incompatible constructor arguments in Disjunction Constraint Example

  NeuralNetworkVerification/Marabou#878 · Filter by author slutz14 opened on Apr 22, 2025
  6

• Disabling Query Optimization in MarabouCore to Preserve Intermediate Variable Bounds

  NeuralNetworkVerification/Marabou#877 · Filter by author ace-shifu opened on Apr 22, 2025

• How to update output range？

  NeuralNetworkVerification/Marabou#876 · Filter by author ytsao opened on Apr 15, 2025

• Incorrect SAT witness in disjunction query

  NeuralNetworkVerification/Marabou#873 · Filter by author Zinoex opened on Apr 3, 2025

• Command-line interface fails reading ONNX

  NeuralNetworkVerification/Marabou#870 · Filter by author sdemarch opened on Mar 11, 2025

• maraboupy with Gurobi enabled does not respect input constraints

  NeuralNetworkVerification/Marabou#867 · Filter by author merkouris148 opened on Feb 25, 2025

• ModuleNotFoundError: No module named 'maraboupy'

  NeuralNetworkVerification/Marabou#866 · Filter by author AliProgrammer85 opened on Feb 20, 2025
  1

• --timeout command-line option doesn't work reliably

  Bug

  NeuralNetworkVerification/Marabou#859 · Filter by author MatthewDaggitt opened on Jan 24, 2025

• The project cannot be built in non-release mode with >=C++20 and GCC

  NeuralNetworkVerification/Marabou#855 · Filter by author Tomaqa opened on Jan 18, 2025
  2

• NotImplementedError： Operation Gather not implemented

  NeuralNetworkVerification/Marabou#853 · Filter by author JingyuanZhou opened on Dec 23, 2024

• AttributeError: 'maraboupy.MarabouCore.InputQuery' object has no attribute 'push'

  NeuralNetworkVerification/Marabou#849 · Filter by author tflinkow opened on Nov 24, 2024
  1

• Spurious counterexamples

  NeuralNetworkVerification/Marabou#844 · Filter by author samysweb opened on Oct 9, 2024

• exitCode "Not_DONE"

  NeuralNetworkVerification/Marabou#842 · Filter by author YourSaDady opened on Oct 3, 2024
  4

• Softmax formulation

  NeuralNetworkVerification/Marabou#841 · Filter by author mmaaz-git opened on Sep 26, 2024

• Turning off preprocessing to generate proof tree in all UNSAT queries

  NeuralNetworkVerification/Marabou#836 · Filter by author aditi-goyal-257 opened on Sep 17, 2024
  1

• MIP as the input query

  NeuralNetworkVerification/Marabou#835 · Filter by author mhmd97z opened on Sep 16, 2024

• different result for same query with and without --prove-unsat flag

  NeuralNetworkVerification/Marabou#830 · Filter by author yizhake opened on Aug 17, 2024