marcogario / postprocessors

Postprocessors for SMT-COMP tracks.

SMT-COMP Postprocessors

This repository contains postprocessors for SMT-COMP.

About

Postprocessors for SMT-COMP tracks.

Languages

Language:Shell 46.2%Language:Python 27.5%Language:SMT 26.3%