È stata rilasciata la versione 1.0 della PPL

La nuova versione include il supporto per la rappresentazione ottimizzata di vettori sparsi di coefficienti, il che comporta significativi miglioramenti di prestazioni, ad esempio quando si lavora con sistemi di vincoli che descrivono relazioni debolmente relazionali come le box e le octagonal shape. Ulteriori informazioni sono disponibili (in inglese) nelle note di rilascio .