Summary
- removed obsolete session
- more robust backend identification
- correctly locate SMBC from Nunchaku
- added/updated components
- tuned whitespace in Nunchaku output
- eliminate artifact of translation in printed Nunchaku model
- nicer numeral output for nats and ints in Nunchaku
- rephrased error
- 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