xSAP is Copyright by Fondazione Bruno Kessler 2015.

xSAP is currently available under the following conditions:

  • It can be used only for non-commercial or academic purposes.
  • The source code in the distribution can be used only for reading with no right of modification.

See LICENSE.txt for complete licensing information.

Please direct inquiries about other usages of XSAP to xsap@fbk.eu.


xSAP is not a derivative of NuSMV.

Differently from NuSMV, xSAP is not distributed under LGPL.

xSAP links NuSMV, CUDD, MiniSAT and MathSAT as external libraries.


Page last modified on March 03, 2015, at 09:28 AM