Skip to content

Latest commit

 

History

History
31 lines (20 loc) · 979 Bytes

README.md

File metadata and controls

31 lines (20 loc) · 979 Bytes

DISS

Demonstration Informed Specification Search

Build Status Binder PyPI version License: MIT

Table of Contents

Installation

If you just need to use diss, you can just run:

$ pip install diss

For developers, note that this project uses the poetry python package/dependency management tool. Please familarize yourself with it and then run:

$ poetry install

Usage