The Higher Education and Research forge

Project Openings

Tag Cloud

Android Annuaire C C++Data Mining ESUP Esup-Commons Experiments Git JSF Java Linux MATLAB MTGAUE Markov Decision Processes Matlab Neuroscience ODF Octave Open Educational Resources OpenAlea OpenMP PHP Perl Primer Python Python3 R Satellite Image Time Series Scilab Script Simulation Simulink TEI TEI.WIMS XML XSLT acquisition affiche planning algorithm alignment analyse texte annuaire applications astronomie astrophysics astrophysique atmosphere auth bash bibliotheque bibliotheques bioinformatics bioinformatique c c++calcul scientifique calendrier carbon climate cmake cnrs comparative genomics computer science controle crb data data analysis data mining data processing database django docker docker-compose e-education editeur editeurs editor environment esup exercices interactifs file formations framework functional-structural plant model genetics genetique genotypic data gestion git hydrologie ical ics image processing informatique interface inventaire isotopic pattern java javascript jsonrpc k-mers kernel lamp leaf growth library linguistique logging mapping mass spectrometry mathematics matlab metabolism mission model modelisation monitoring morphogenesis mudslide nitrogen pedagogie peptide performance permutation method php pl portlet postgresql production protein proteomics python python3 qooxdoo qt5 quality quality alignment quantification read recommender systems remobilisation satellite optical images script scripting scripts security sequencing signal processing simulation spectrum statistical tests statistics statistiques temperature toolbox trophic status unitary events user friendly visualisation web wheat wordpress workflow zone critique

Displaying results 1-1 out of 1 total.

TaPAS - TaPAS is the Talence Presburger Arithmetic Suite. This project contains C libraries for the manipulation and decision of formulas expressed in the Presburger arithmetic.
Tags: Presburger Logic, Model-Checking, Verification, Binary Automata, Petri Nets
Development Status : 2 - Pre-Alpha Environment : Console (Text Based) Intended Audience : Developers : End Users/Desktop License : GNU Lesser General Public License (LGPL) Natural Language : English Operating System : GNU/Linux Programming Language : C Topic : Scientific/Engineering : Security	Activity Percentile: N/A Activity Ranking: N/A Registered: 2017-02-21 12:28

This website uses cookies to offer you a better browsing experience. Learn more about how we use cookies