vnnfilter
vnnfilter is an open-source command-line package for searching the VNN-LIB Solver Database. It helps formal verification researchers identify verifiers that support specified neural-network verification requirements.
Overview
5 featuresvnnfilter sits in PulseGate's Other dev tools category. It focuses on finding neural-network verifiers that support specific VNN-LIB requirements. It is built as an open-source project for formal verification researchers and neural-network verification developers. vnnfilter is open source under the MIT license. It runs on the command line.
It is developed by VNNLIB, and it first shipped in 2026. The project is developed in the open on GitHub with 50 commits in the last 90 days. Key capabilities include solver search, VNN-LIB filtering, and verifier discovery.
Summary written by a language model from the project’s public pages.
- Solver search
- VNN-LIB filtering
- Verifier discovery
- Keyword search
- Database querying
Built with & integrations
Trust & compliance
Indexing history
1What PulseGate has recorded for this listing
Frequently asked questions about vnnfilter
- What is vnnfilter?
- Vnnfilter focuses on finding neural-network verifiers that support specific VNN-LIB requirements. It is catalogued under Other dev tools on PulseGate.
- Who is vnnfilter for?
- vnnfilter is an open-source project built for formal verification researchers and neural-network verification developers.
- Is vnnfilter free?
- Yes — vnnfilter is open source under the MIT license and free to use.
- What platforms does vnnfilter run on?
- vnnfilter runs on the command line.
- Is vnnfilter still maintained?
- The GitHub repository shows 50 commits in the last 90 days.
- What projects are similar to vnnfilter?
- Similar projects tracked by PulseGate include Better Comments, Environment Variable Settings Summary, and AndroidLocalize.Better CommentsEnvironment Variable Settings SummaryAndroidLocalize
- Who makes vnnfilter?
- vnnfilter is developed by VNNLIB.
- How long has vnnfilter been around?
- vnnfilter first shipped in 2026.
Also in Other dev tools
Same category — not a similarity match