/sid-checker

A lazily-verified resolution checker written in SPARK 2014 based on functional data structures

Primary LanguageAdaMIT LicenseMIT

sid-checker

A lazily-verified resolution proof checker written in Ada/SPARK 2014 based on functional data structures.

Logical Sid

Prerequisites

  • GNAT Community Edition
  • For windows releases, the cross compilers packages gnat-mingw-w64 and mingw-w64 (Ubuntu)

Building and Proving

  • For building, run make release
  • For proving, run make proof