Angielskifrancuskihiszpański

Ad


Ulubiona usługa OnWorks

log - Online w chmurze

Uruchom logowanie do bezpłatnego dostawcy hostingu OnWorks w systemie Ubuntu Online, Fedora Online, emulatorze online systemu Windows lub emulatorze online systemu MAC OS

To jest dziennik poleceń, który można uruchomić w bezpłatnym dostawcy hostingu OnWorks przy użyciu jednej z naszych wielu bezpłatnych stacji roboczych online, takich jak Ubuntu Online, Fedora Online, emulator online systemu Windows lub emulator online systemu MAC OS

PROGRAM:

IMIĘ


log - logiczne reprezentacje funkcji boolowskich i użyteczności.

OPIS


log to zbiór struktur i funkcji, który pozwala na manipulowanie kilkoma
reprezentacje funkcji boolowskich. Kilka programów i bibliotek cao-vlsi cham
narzędzia spocznij na log pakiet. Dostępne są trzy różne rodzaje funkcji:

Zarządzanie tabelą skrótów

Przedrostkowa reprezentacja funkcji boolowskich

Uporządkowane binarne diagramy decyzyjne

PRZYKŁAD


Załóżmy, że rzeczywista wersja mbk to „nnn”. Aby skorzystać z logu, libMutnnn.a biblioteka
należy zadzwonić.
makefile:
NAGŁÓWEK = -I/labo/include
LIB = -L/labo/lib -lMut -ltsh -labl -lbdd
Każdą bibliotekę można wywołać osobno. Plik nagłówkowy „log.h” musi zostać wstawiony do pliku
pliki, które korzystają z funkcji lub struktur zdefiniowanych w bibliotece.

Użyj dziennika online, korzystając z usług onworks.net


Darmowe serwery i stacje robocze

Pobierz aplikacje Windows i Linux

  • 1
    Awogadro
    Awogadro
    Avogadro to zaawansowana substancja molekularna
    edytor przeznaczony do użytku międzyplatformowego
    w chemii obliczeniowej, molekularnej
    modelowanie, bioinformatyka, materiały
    nauka i ...
    Pobierz Avogadra
  • 2
    XMLTV
    XMLTV
    XMLTV to zestaw programów do przetworzenia
    Programy telewizyjne (tvguide) i pomoc w zarządzaniu
    oglądanie telewizji, przechowywanie wykazów w
    Format oparty na XML. Istnieją narzędzia do
    zrobić...
    Pobierz XMLTV
  • 3
    strz
    strz
    Projekt Wolnego Oprogramowania Strikr. Artefakty
    wydany na podstawie „intencji”
    podwójna licencja: AGPLv3 (społeczność) i
    CC-BY-NC-ND 4.0 międzynarodowa
    (Reklama w telewizji)...
    Pobierz strikr
  • 5
    GIFLIB
    GIFLIB
    giflib to biblioteka do czytania i
    pisanie obrazów gif. Jest to API i ABI
    kompatybilny z libungif, który był w
    szerokie zastosowanie podczas kompresji LZW
    algorytm był...
    Pobierz GIFLIB
  • 6
    Alt+F
    Alt+F
    Alt-F zapewnia bezpłatne i otwarte oprogramowanie
    alternatywne oprogramowanie dla DLINK
    DNS-320/320L/321/323/325/327L and
    DNR-322L. Alt-F ma Sambę i NFS;
    obsługuje ext2/3/4...
    Pobierz Alt-F
  • więcej »

Komendy systemu Linux

  • 1
    2ping6
    2ping6
    2ping — narzędzie do dwukierunkowego pingowania...
    Uruchom 2ping6
  • 2
    2-3-2.7
    2-3-2.7
    2to3-2.7 - konwerter Python2 na Python3
    ...
    Uruchom 2 na 3-2.7
  • 3
    cpqarrayd
    cpqarrayd
    cpqarrayd — kontroler tablic
    demon monitorowania SKŁADNIA: cpqarrayd [-d]
    [-v] [-t host [-t host]] OPIS:
    Ten program może monitorować HP
    (Compaq) układ...
    Uruchom cpqarrayd
  • 4
    cproto
    cproto
    cproto - generuj prototypy funkcji C
    i konwertować definicje funkcji ...
    Uruchom cproto
  • 5
    naprawa gapi2
    naprawa gapi2
    nieudokumentowane - Brak strony podręcznika dla tego
    program. OPIS: Ten program to robi
    nie ma strony podręcznika. Uruchom to polecenie
    za pomocą przełącznika pomocy, aby zobaczyć, co to jest
    czy. dla p...
    Uruchom gapi2-fixup
  • 6
    parser gapi2
    parser gapi2
    nieudokumentowane - Brak strony podręcznika dla tego
    program. OPIS: Ten program to robi
    nie ma strony podręcznika. Uruchom to polecenie
    za pomocą przełącznika pomocy, aby zobaczyć, co to jest
    czy. dla p...
    Uruchom gapi2-parser
  • więcej »

Ad