Skip to content

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

173 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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

About

Demonstration Informed Specification Search

Resources

Stars

Watchers

Forks

Releases

Packages

Used by

Contributors

Languages