From 0aabc7d04f03311694557a045de2ad3d9caa4004 Mon Sep 17 00:00:00 2001
From: Sebastiano Tronto <sebastiano.tronto@gmail.com>
Date: Fri, 24 Dec 2021 00:07:29 +0100
Subject: use nxopt31 (compressed) by default for optimal solving

---
 nissy | Bin 321808 -> 320968 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)

(limited to 'nissy')

diff --git a/nissy b/nissy
index efdbd4e..afdef7d 100755
Binary files a/nissy and b/nissy differ
-- 
cgit v1.3