pasypy
A python-based tool using parameter synthesis to find safe and unsafe regions of the parameter space
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 (12.7%) to scientific vocabulary
Repository
A python-based tool using parameter synthesis to find safe and unsafe regions of the parameter space
Basic Info
- Host: GitHub
- Owner: awiegel
- License: mit
- Language: Python
- Default Branch: main
- Size: 516 KB
Statistics
- Stars: 1
- Watchers: 1
- Forks: 0
- Open Issues: 0
- Releases: 0
Metadata Files
README.md
PaSyPy 
A python-based tool using parameter synthesis to find safe and unsafe regions of the parameter space on nonlinear real arithmetic.
For a detailed description of this project, read the publication.
Table of contents
1. Installation
To install this tool, clone the directory and install all dependencies:
* z3-solver
* matplotlib
* scikit-learn
* numpy
All dependencies are also included in requirements.txt and can be installed by \
pip install -r requirements.txt.
2. Functionality / Usage
To start this tool, simply execute __main__.py.
Functionality: * SMT-LIB Support: Read .smt2 files or define your own formula in the text field. * Find safe and unsafe regions: Separate the whole region of the parameter space into safe (green) and unsafe (red) regions. Select from different splitting heuristics to obtain optimal results. * Visualization: Get a visualization for found safe (green) and unsafe (red) regions. Choose which parameters you want to see. * Information: Lots of different information about your computation. * Settings: Several settings available.
3. Suggestions / Bug reports
If you encounter any problems while using this tool or have any suggestions or feedback, \ feel free to contact me. \ Read the Known challenges section in the documentation first for a listing of all problems and suggestions.
Owner
- Name: Alexander Wiegel
- Login: awiegel
- Kind: user
- Repositories: 1
- Profile: https://github.com/awiegel
Hey, my name is Alex :) I am a Computer Science Student and a Software Engineer.
Citation (CITATION.cff)
cff-version: 1.1.0
message: "If you use this software in your work, please cite it using the following metadata."
abstract: A python-based tool using parameter synthesis to find safe and unsafe regions of the parameter space.
authors:
- family-names: Wiegel
given-names: Alexander
title: PaSyPy
date-released: 2021-09-20
url: https://github.com/awiegel/PaSyPy
version: 1.0.0
keywords:
- PaSyPy
- Parameter Synthesis
- SMT solving
- Python
license: "MIT"