tweaked Nunchaku bounds

speed up proofs slightly

use right attribute separator in Nunchaku

parse length-0 enums as well in Nunchaku

extended and renamed Nunchaku's Kodkod bounds

repaired Nunchaku cache handing

added Kodkod-specific options to Nunchaku

tuning

better model parsing and display in Nunchaku

properly parenthesize copy types in Nunchaku

proper Bash escaping

more precise output for Nunchaku

added singular 'solver' option to Nunchaku

got rid of unsound and needless beta-reduction in Nunchaku frontend

tuned Nunchaku's output

updated parser for Nunchaku irrelevant output

use proper syntax with nunchaku tool

moved Nunchaku to Main; the goal is to move Nitpick out in the next 1-2 years

better duplicate detection

merged

adapted to better linear arith

more simp power and less incompleteness or arith

no fork of long-term test results: too complicated;

avoid depedency on FSet;

merged

introduced bst_wrt

less aggressive default position: prefer persistent defaults maintained by jEdit (amending 89c5bb2a2128);

tolerate more errors (cf. 1e5ae735e026);