Data

Tools

Indexes

Applications

Experiments

Open Source Science

diss

Demonstration Informed Specification Search

https://github.com/mvcisback/diss

Science Score: 44.0%

This score indicates how likely this project is to be science-related based on various indicators:

  • ✓
    CITATION.cff file
    Found CITATION.cff file
  • ✓
    codemeta.json file
    Found codemeta.json file
  • ✓
    .zenodo.json file
    Found .zenodo.json file
  • ○
    DOI references
  • ○
    Academic publication links
  • ○
    Academic email domains
  • ○
    Institutional organization owner
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Low similarity (7.4%) to scientific vocabulary
Last synced: 6 months ago · JSON representation ·

Repository

Demonstration Informed Specification Search

Basic Info
  • Host: GitHub
  • Owner: mvcisback
  • License: mit
  • Language: Python
  • Default Branch: main
  • Size: 11.4 MB
Statistics
  • Stars: 0
  • Watchers: 3
  • Forks: 2
  • Open Issues: 1
  • Releases: 0
Created almost 5 years ago · Last pushed about 2 years ago
Metadata Files
Readme License Citation

README.md

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

Owner

  • Name: Marcell Vazquez-Chanlatte
  • Login: mvcisback
  • Kind: user

Citation (CITATION.cff) 

cff-version: 1.2.0
message: "If you use this software, please cite it as below."
authors:
- family-names: "Vazquez-Chanlatte"
  given-names: "Marcell"
  orcid: "https://orcid.org/0000-0002-1248-0000"
- family-names: "Shah"
  given-names: "Ameesh"
title: "Demonstration Informed Specification Search"
version: 1.0.0
url: "https://github.com/mvcisback/DISS"

GitHub Events

Total
Last Year

Dependencies

poetry.lock pypi
  • 161 dependencies
pyproject.toml pypi
  • blessings ^1.7 develop
  • dfa ^4.2 develop
  • dfa-identify ^3.8 develop
  • jupyter ^1.0.0 develop
  • matplotlib ^3.4.3 develop
  • mypy ^0.910 develop
  • py-aiger ^6.1.21 develop
  • py-aiger-bdd ^3.1 develop
  • py-aiger-coins ^3.3.6 develop
  • py-aiger-dfa ^0.4.1 develop
  • py-aiger-gridworld ^0.4.3 develop
  • py-aiger-ptltl ^3.1.0 develop
  • pydot ^1.4.2 develop
  • pytest ^6.2.4 develop
  • pytest-flake8 ^1.0.7 develop
  • python-sat ^0.1.7.dev11 develop
  • seaborn ^0.11.2 develop
  • tqdm ^4.62.3 develop
  • attrs ^22.0
  • funcy ^1.16
  • jupyterlab ^3.3.1
  • numpy ^1.21.2
  • python ^3.9
  • scipy ^1.7.2