Skip to content

Latest commit

 

History

History
13 lines (9 loc) · 739 Bytes

README.md

File metadata and controls

13 lines (9 loc) · 739 Bytes

SciFe

Build Status Coverage Status Benchmark Status Chat @gitter

Scala Framework for Efficient Generation of Data Structures with Invariants

===============

More information can be found at the SciFe webpage.