Boltzmann sampler tuner using convex optimisation.
Project description
## 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
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
paganini-0.29559774252.tar.gz
(4.5 kB
view hashes)
Built Distribution
Close
Hashes for paganini-0.29559774252-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | f88a2d33ba07b192bc7410115bbb98c2b6ac54f433e920b02bf38adcf1941a0d |
|
MD5 | e9443dd1a5ce616d151dd5fbf1939dad |
|
BLAKE2b-256 | 0f1895a0f0e6641900c519db07349ff39f2084f32ccf8547b434589f96ed6a70 |