Metadata-Version: 2.1
Name: lovpy
Version: 0.0.1
Summary: A simple-to-use logic verification library.
Home-page: https://github.com/dkarageo/lovpy
Author: Dimitrios S. Karageorgiou
Author-email: soulrain@outlook.com
License: UNKNOWN
Project-URL: Bug Tracker, https://github.com/dkarageo/lovpy/issues
Platform: UNKNOWN
Classifier: Programming Language :: Python :: 3
Classifier: License :: OSI Approved :: Mozilla Public License 2.0 (MPL 2.0)
Classifier: Operating System :: OS Independent
Classifier: Development Status :: 3 - Alpha
Requires-Python: >=3.4
Description-Content-Type: text/markdown
License-File: LICENSE
Requires-Dist: networkx
Requires-Dist: matplotlib

# Logipy

## An easy-to-use, yet powerful, logic verification library for Python.

Developed by *Dimitrios Karageorgiou*,\
during diploma thesis on *Automated Proving using Graph Neural Networks for Logic Verification of Code at Runtime*,\
*Electrical and Computers Engineering Department,*\
*Aristotle University Of Thessaloniki, Greece,*\
*2020-2021.*

## Description:
TODO

# Installation
TODO

## Basic usage:
### Start validation:
`python -m logipy <script.py>`

An alternative way to start validation programmatically is the addition of a single python line:\
`import logipy`

### Train models:
`python -m logipy -t <all | simple | gnn>`

### Evaluate:
`python -m logipy -e <examples | synthetics>`

### Supported Environmental Variables:
- `LOGIPY_DISABLE_GPU = 0 | 1` : When set to `1` disables GPU usage by tensorflow.
- `LOGIPY_SESSION_NAME = <name>` : Sets a custom name for current session.
- `LOGIPY_TEMP_DIR = <dir>` : Sets directory where logipy will store all data and reports of a session.
- `LOGIPY_DEV_MODE = 0 | 1` : When set to `1` enables development mode.

## License:

This project is licensed under Mozilla Public License Version 2.0. A copy of this license is contained in current project. It applies to all files in this project whether or not it is stated in them.



