EngelsFransSpaans

Ad


OnWorks-favicon

log - Online in de Cloud

Voer inloggen op de gratis hostingprovider van OnWorks uit via Ubuntu Online, Fedora Online, Windows online emulator of MAC OS online emulator

Dit is het commandologboek dat kan worden uitgevoerd in de gratis hostingprovider van OnWorks met behulp van een van onze meerdere gratis online werkstations zoals Ubuntu Online, Fedora Online, Windows online emulator of MAC OS online emulator

PROGRAMMA:

NAAM


inloggen - logische representaties voor Booleaanse functies en hulpprogramma's.

PRODUCTBESCHRIJVING


inloggen is een reeks structuren en functies waarmee meerdere kunnen worden gemanipuleerd
representaties van Booleaanse functies. Verschillende programma's en bibliotheken van de cao-vlsi vallen
tools rusten op de inloggen pakket. Er zijn drie verschillende soorten functies beschikbaar voor:

Beheer van hashtabellen

Vooraf ingestelde weergave voor Booleaanse functies

Geordende representatie van binaire beslissingsdiagrammen

VOORBEELD


Laten we aannemen dat de werkelijke mbk-versie 'nnn' is. Om log te gebruiken, libMutnnn.a bibliotheek
moet worden gebeld.
makefile:
HEADER = -I/labo/include
LIB = -L/labo/lib -lMut -ltsh -labl -lbdd
Elke bibliotheek kan afzonderlijk worden opgeroepen. Het headerbestand "log.h" moet worden ingevoegd in het
bestanden die de functies of structuren gebruiken die in een bibliotheek zijn gedefinieerd.

Gebruik online inloggen met behulp van onworks.net-services


Gratis servers en werkstations

Windows- en Linux-apps downloaden

  • 1
    Avogadro
    Avogadro
    Avogadro is een geavanceerde moleculaire
    editor ontworpen voor platformonafhankelijk gebruik
    in computationele chemie, moleculair
    modellering, bio-informatica, materialen
    wetenschap en ...
    Avogadro downloaden
  • 2
    XMLTV
    XMLTV
    XMLTV is een reeks programma's om te verwerken
    TV (tvguide) lijsten en hulp bij het beheren
    uw tv-kijken, aanbiedingen opslaan in een
    XML-gebaseerd formaat. Er zijn hulpprogramma's om
    Doen...
    XmlTV downloaden
  • 3
    slag
    slag
    Strikr Vrije Software-project. Artefacten
    vrijgegeven onder een 'intent based'
    dubbele licentie: AGPLv3 (community) en
    CC-BY-NC-ND 4.0 internationaal
    (reclame)...
    Strikr downloaden
  • 5
    GIFLIB
    GIFLIB
    giflib is een bibliotheek voor lezen en
    gif-afbeeldingen schrijven. Het is API en ABI
    compatibel met libungif die erin zat
    breed gebruik terwijl de LZW-compressie
    algoritme was...
    GIFLIB downloaden
  • 6
    Alt-F
    Alt-F
    Alt-F biedt een gratis en open source
    alternatieve firmware voor de DLINK
    DNS-320/320L/321/323/325/327L and
    DNR-322L. Alt-F heeft Samba en NFS;
    ondersteunt ext2/3/4...
    Alt-F downloaden
  • Meer "

Linux-commando's

  • 1
    2ping6
    2ping6
    2ping - Een bidirectioneel ping-hulpprogramma ...
    Voer 2ping6 uit
  • 2
    2tot3-2.7
    2tot3-2.7
    2to3-2.7 - Python2 naar Python3 converter
    ...
    Voer 2to3-2.7 uit
  • 3
    cpqarrayd
    cpqarrayd
    cpqarrayd - Arraycontroller
    monitoringdaemon SYNTAXIS: cpqarrayd [-d]
    [-v] [-t host [-t host]] BESCHRIJVING:
    Dit programma kan HP monitoren
    (Compaq) arr...
    Voer cpqarrayd uit
  • 4
    cproto
    cproto
    cproto - genereer prototypen van C-functies
    en converteer functiedefinities ...
    Voer cproto uit
  • 5
    gapi2-fixup
    gapi2-fixup
    ongedocumenteerd - Geen manpage hiervoor
    programma. BESCHRIJVING: Dit programma doet
    geen manpage hebben. Voer deze opdracht uit
    met de hulpschakelaar om te zien wat het is
    doet. Voor v...
    Voer gapi2-fixup uit
  • 6
    gapi2-parser
    gapi2-parser
    ongedocumenteerd - Geen manpage hiervoor
    programma. BESCHRIJVING: Dit programma doet
    geen manpage hebben. Voer deze opdracht uit
    met de hulpschakelaar om te zien wat het is
    doet. Voor v...
    Voer gapi2-parser uit
  • Meer "

Ad