ASOL -- Affine Solver Git
Status: Pre-Alpha
Brought to you by:
baharev_ali
Menu
▾
▴
Tree [462eb5] master / History
| File | Date | Author | Commit |
|---|---|---|---|
| benchmarks | 2010-03-21 |
Ali Baharev
|
[7faf97] Benchmarks - about fair comparisons |
| bin | 2010-03-21 |
Ali Baharev
|
[bc1fb0] |
| nl_parser | 2010-11-01 |
Ali Baharev
|
[96c221] Hansen's example, propagate was OK |
| src | 2010-07-25 |
Ali Baharev
|
[10691f] Adding intersect domain for Procedure 2 |
| ASOL-introduction-0.01.pdf | 2010-03-21 |
Ali Baharev
|
[a4f2a8] Documentation and license GNU GPLv3 |
| LICENSE.txt | 2010-03-21 |
Ali Baharev
|
[a4f2a8] Documentation and license GNU GPLv3 |
