alliance-support '01
Librairie de manipulation logique 1er ordre?


Yann Thierry-Mieg (y.mieg@free.fr)
Sun, 08 Apr 2001 00:52:51 +0200

Bonjour, Je suis en DEA Systemes Info Repartis , je fais mon stage sur les reseaux de Petri a Scott. Je suis a la recherche d'une librairie (en c par exemple) pour manipuler des formules booleennes qui sache faire des simplifications de formules avec des regles classiques ( A*TRUE = A , A*B + A*C = A*(B+C) ) que je pourrai amplifier par mon propre jeu de regles basé sur la forme que prennent mes prédicats i.e. (X <10)*(X >= 3) = (X in [3..9] ) C'est une problematique finalement assez proche des techniques de réduction pour concevoir les circuits que vous utilisez... J'ai vu que votre package Alliance propose des choses assez proches ... Pensez vous que ce soit adapté ? Les formules que je veux traiter ne sont pas monstrueuses ( une dizaine de predicats peut etre), et j'ai besoin de controler finement l'ordre d application des regles. Sinon existe-t-il une librairie "classique" pour faire ce genre de manipulations (lois de morgan etc) ? Merci beaucoup, Yann Thierry-Mieg

 



Alliance Web Site © 1997, 2002 ASIM/LIP6/UPMC, page maintained by Czo [Olivier Sirol] , last updated on 10 April 2001.