diff options
| author | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2021-12-24 00:07:29 +0100 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2021-12-24 00:07:29 +0100 |
| commit | 0aabc7d04f03311694557a045de2ad3d9caa4004 (patch) | |
| tree | fab8ab8e52574a3f1750e99d7e0a5b5bd1829129 /src/env.h | |
| parent | 4fb970ad4e7d0558f7bf32dbad2333dbf3cb3ab4 (diff) | |
| download | nissy-0aabc7d04f03311694557a045de2ad3d9caa4004.tar.gz nissy-0aabc7d04f03311694557a045de2ad3d9caa4004.zip | |
use nxopt31 (compressed) by default for optimal solving
Diffstat (limited to 'src/env.h')
0 files changed, 0 insertions, 0 deletions