Telecharger Cours

Towards Satisfiability Modulo Parametric Bit-vectors

Utilisation de valeurs ... <= xor vector;. ? Opérateurs logiques entre scalaire et tableau. ? possible d'avoir un scalaire (bit) avec un tableau (array ? vecteur).



Download