Picoso - A parallel interval constraint solver. Parallel SMT-solver for boolean combinations of linear and non-linear arithmetic constraints; Based on master/client model; Communication is carried out using Message Passing Interface (MPI); Algorithmic core of the clients is formed by iSAT.

References in zbMATH (referenced in 1 article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Martins, Ruben; Manquinho, Vasco; Lynce, In^es: An overview of parallel SAT solving (2012)