-
Erwan Jahier authored
Parent-Version: 0.31 Version-Log: Add an option --no-oracle to prevent that lurette calls the oracle. The solution number counting function was wrong. Also, make it easy to switch to float, or to big_int, to store the number of solution numbers. Project-Description: Lurette
af07708a