Giters

abstools / abs-bench

The benchmark suite comparing the different ABS backends

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

The benchmark suite comparing the different ABS backends

Languages

Language:Shell 77.5%Language:Haskell 22.5%