AnglaisFrançaisEspagnol

Ad


Icône de favori OnWorks

log - En ligne dans le Cloud

Connectez-vous au fournisseur d'hébergement gratuit OnWorks sur Ubuntu Online, Fedora Online, l'émulateur en ligne Windows ou l'émulateur en ligne MAC OS

Il s'agit du journal des commandes qui peut être exécuté dans le fournisseur d'hébergement gratuit OnWorks à l'aide de l'un de nos multiples postes de travail en ligne gratuits tels que Ubuntu Online, Fedora Online, l'émulateur en ligne Windows ou l'émulateur en ligne MAC OS.

PROGRAMME:

Nom


enregistrer - représentations logiques des fonctions booléennes et des utilitaires.

DESCRIPTION


enregistrer est un ensemble de structures et de fonctions qui permet de manipuler plusieurs
représentations de fonctions booléennes. Plusieurs programmes et bibliothèques du cao-vlsi tomber
les outils repose sur le enregistrer emballer. Trois types de fonctions différents sont disponibles pour :

Gestion des tables de hachage

Représentation préfixée pour les fonctions booléennes

Représentation des diagrammes de décision binaires ordonnés

EXEMPLE


Supposons que la version réelle de mbk soit 'nnn'. Pour utiliser le journal, libMutnnn.a bibliothèque
doit être appelé.
makefile:
EN-TÊTE = -I/labo/include
LIB = -L/labo/lib -lMut -ltsh -labl -lbdd
Chaque bibliothèque peut être appelée séparément. Le fichier d'en-tête "log.h" doit être inséré dans le
des fichiers qui utilisent les fonctions ou les structures définies dans une bibliothèque.

Utiliser le journal en ligne à l'aide des services onworks.net


Serveurs et postes de travail gratuits

Télécharger des applications Windows et Linux

  • 1
    Avogadro
    Avogadro
    Avogadro est un médicament moléculaire avancé
    éditeur conçu pour une utilisation multiplateforme
    en chimie computationnelle, moléculaire
    modélisation, bioinformatique, matériaux
    science et ...
    Télécharger Avogadro
  • 2
    XMLTV
    XMLTV
    XMLTV est un ensemble de programmes à traiter
    Listes TV (tvguide) et aide à la gestion
    votre visionnage de la télévision, le stockage des listes dans un
    Format basé sur XML. Il existe des utilitaires pour
    faire...
    Télécharger XML TV
  • 3
    frapper
    frapper
    Projet de logiciel libre Strikr. Artefacts
    publié sous un « intent based »
    double licence : AGPLv3 (communauté) et
    CC-BY-NC-ND 4.0 international
    (commercial)...
    Télécharger
  • 5
    GIFLIB
    GIFLIB
    giflib est une bibliothèque pour lire et
    écrire des images gif. C'est API et ABI
    compatible avec libungif qui était dans
    large utilisation tandis que la compression LZW
    l'algorithme était...
    Télécharger GIFLIB
  • 6
    Alt+F
    Alt+F
    Alt-F fournit une source libre et ouverte
    firmware alternatif pour le DLINK
    DNS-320/320L/321/323/325/327L and
    DNR-322L. Alt-F a Samba et NFS ;
    prend en charge ext2/3/4...
    Télécharger Alt-F
  • Plus "

Commandes Linux

  • 1
    2ping6
    2ping6
    2ping - Un utilitaire de ping bidirectionnel...
    Exécutez 2ping6
  • 2
    2à3-2.7
    2à3-2.7
    2to3-2.7 - Convertisseur Python2 vers Python3
    Courez 2to3-2.7
  • 3
    cpqarrayd
    cpqarrayd
    cpqarrayd - Contrôleur de tableau
    monitoringdaemon SYNTAXE : cpqarrayd [-d]
    [-v] [-t hôte [-t hôte]] DESCRIPTION :
    Ce programme est capable de surveiller HP
    (Compaq) arr...
    Exécutez cpqarrayd
  • 4
    cproto
    cproto
    cproto - génère des prototypes de fonctions C
    et convertir les définitions de fonctions ...
    Exécutez cproto
  • 5
    gapi2-fixup
    gapi2-fixup
    non documenté - Pas de page de manuel pour cela
    programme. DESCRIPTION : Ce programme ne
    pas de page de manuel. Exécutez cette commande
    avec le commutateur d'aide pour voir ce qu'il
    Est-ce que. Pour p...
    Exécutez gapi2-fixup
  • 6
    analyseur gapi2
    analyseur gapi2
    non documenté - Pas de page de manuel pour cela
    programme. DESCRIPTION : Ce programme ne
    pas de page de manuel. Exécutez cette commande
    avec le commutateur d'aide pour voir ce qu'il
    Est-ce que. Pour p...
    Exécutez gapi2-parser
  • Plus "

Ad