Skip to content
  • Erwan Jahier's avatar
    lurette 0.32 Mon, 18 Feb 2002 17:06:16 +0100 by jahier · af07708a
    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