Telecharger Cours

Digest 2007 - European Humanities University

During an offline encoding phase, Satsy encodes the semantics of code in codebase into logical formulas concerning their input/output variables.



Download