Skip to content

@vprover Vampire First-Order Theorem Prover

Change the repository type filter

All

    Repositories list

    9 repositories

    • vampire

      Public
      The Vampire Theorem Prover
      C++
      •
      Other
      •55•331•32•3•Updated Mar 25, 2025Mar 25, 2025

    • inductive_benchmarks

      Public
      Haskell
      •1•1•0•0•Updated Jan 28, 2025Jan 28, 2025

    • vampire_benchmarks

      Public
      A repository of benchmarks produced by and used by the Vampire team
      OpenEdge ABL
      •0•0•0•0•Updated Jan 20, 2025Jan 20, 2025

    • benchexec

      Public
      BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
      Python
      •
      Apache License 2.0
      •208•0•0•0•Updated Jan 12, 2025Jan 12, 2025

    • vprover.github.io

      Public
      HTML
      •
      Other
      •5•0•3•4•Updated May 3, 2024May 3, 2024

    • rapid

      Public
      RAPID is a software verification tool that translates programs and their safety properties into first-order-encodings of correctness in SMTLIB syntax. The first-order based encodings are passed to a first-order reasoner, particularly to Vampire's rapid-branch that has been optimized for software verification benchmarks.
      C++
      •0•2•3•0•Updated Oct 30, 2023Oct 30, 2023

    • vampire_publications

      Public
      Repository used by Vampire team to store experimental results
      SMT
      •0•1•0•0•Updated Apr 20, 2023Apr 20, 2023

    • vampire-online

      Public
      JavaScript
      •0•0•0•9•Updated Jan 8, 2023Jan 8, 2023

    • ase17tutorial

      Public
      OpenEdge ABL
      •3•5•0•0•Updated Oct 31, 2017Oct 31, 2017