## Paganini: Convex optimisation tuner for combinatorial systems
```
Install: python2 setup.py install
Usage: python2 paganini.py input.txt 1e-6
Usage: python2 paganini.py input.txt CVXOPT
Usage: python2 paganini.py input.txt SCS
Usage: python2 paganini.py input.txt ECOS
```
* `input.txt` is the name of the input file
with coefficients of algebraic
specifications
* `1e-6` is a float number corresponding to precision
* `[CVXOPT, SCS, ECOS]` stand for different convex optimization solvers.
ECOS is more preferrable for algebraic systems, SCS for rational.
## Example
Consider a system for marking abstractions in lambda-terms:
```
L = z L^2 + u z L + D
D = z + z D
```
We want to have `40%` of abstractions, so we encode all the variables and
functions into a single vector `[z, u, L, D]` and construct input file
```
2 1
0.4
3
1 1 1 0
1 0 2 0
0 0 0 1
2
1 0 0 0
1 0 0 1
```
Install: python2 setup.py install
Usage: python2 paganini.py input.txt 1e-6
Usage: python2 paganini.py input.txt CVXOPT
Usage: python2 paganini.py input.txt SCS
Usage: python2 paganini.py input.txt ECOS
```
* `input.txt` is the name of the input file
with coefficients of algebraic
specifications
* `1e-6` is a float number corresponding to precision
* `[CVXOPT, SCS, ECOS]` stand for different convex optimization solvers.
ECOS is more preferrable for algebraic systems, SCS for rational.
## Example
Consider a system for marking abstractions in lambda-terms:
```
L = z L^2 + u z L + D
D = z + z D
```
We want to have `40%` of abstractions, so we encode all the variables and
functions into a single vector `[z, u, L, D]` and construct input file
```
2 1
0.4
3
1 1 1 0
1 0 2 0
0 0 0 1
2
1 0 0 0
1 0 0 1
2 maintainers
Metadata
2 maintainers
Release files for paganini 0.2955977424
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| paganini-0.2955977424.tar.gz | 4.3 kB | Details |
Built distributions (wheels)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| paganini-0.2955977424-py3-none-any.whl | Python 3 | none | any | Details |
| paganini-0.2955977424-py2-none-any.whl | Python 2 | none | any | Details |
Total release size: 14.6 kB
Release files / paganini-0.2955977424.tar.gz
| Download URL | paganini-0.2955977424.tar.gz |
|---|---|
| Size | 4.3 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
15f5224a627e5213df46fd8c9cf34b3b734bf5dc585e55e724d56b2d6a99c2d5
|
|
BLAKE2b-256 checksum How to use checksums |
c79263be8661205fd20474c53ca9c42fb69657ef0b8ebba298a7e0d0a8a38a95
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
Release files / paganini-0.2955977424-py3-none-any.whl
| Download URL | paganini-0.2955977424-py3-none-any.whl |
|---|---|
| Size | 5.2 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
e7fa70b4345ed2a6b211d37ecbc5bc10764adbfa6e8c910af8186a4148afe677
|
|
BLAKE2b-256 checksum How to use checksums |
fcd819b3757f35f0fd74c6064ab2d41ec8630f405b5bf55d7246801f6778d24c
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
Release files / paganini-0.2955977424-py2-none-any.whl
| Download URL | paganini-0.2955977424-py2-none-any.whl |
|---|---|
| Size | 5.1 kB |
| Tags | Python 2 |
|
SHA-256 checksum How to use checksums |
2f7c3dc5f7caa33aaf62e232f704b54aa2c59751c7b6649b2e983b5fbfd5c12e
|
|
BLAKE2b-256 checksum How to use checksums |
1125ede40060cae1462e275ef3a14ddb9ab1e59dd6c1601379ac0459ff3b4b1a
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
