hGen: A Random CNF Formula Generator for Hybrid Languages
Résumé
hGen is a random CNF (conjunctive normal form) generator of formulas for sublanguages of H(@,\downarrow, A).
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
Areces Carlos : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00000317
Soumis le : mardi 4 octobre 2005-20:00:35
Dernière modification le : vendredi 24 mars 2023-14:52:47