англійськафранцузькаіспанська

Значок OnWorks

log - Онлайн у хмарі

Запустіть вхід до постачальника безкоштовного хостингу OnWorks через Ubuntu Online, Fedora Online, онлайн-емулятор Windows або онлайн-емулятор MAC OS

Це журнал команд, який можна запустити в постачальнику безкоштовного хостингу OnWorks за допомогою однієї з наших численних безкоштовних онлайн-робочих станцій, таких як Ubuntu Online, Fedora Online, онлайн-емулятор Windows або онлайн-емулятор MAC OS

ПРОГРАМА:

ІМ'Я


журнал - логічні представлення для булевих функцій і утиліт.

ОПИС


журнал це набір структур і функцій, що дозволяє маніпулювати кількома
представлення булевих функцій. Кілька програм і бібліотек cao-vlsi cad
інструменти відпочинок на журнал пакет. Доступні три різні види функцій:

Управління хеш-таблицею

Подання з префіксом для булевих функцій

Представлення впорядкованих бінарних діаграм рішень

приклад


Припустимо, що фактична версія mbk — «nnn». Щоб використовувати журнал, libMutnnn.a бібліотека
треба викликати.
makefile:
ЗАГОЛОВОК = -I/labo/include
LIB = -L/labo/lib -lMut -ltsh -labl -lbdd
Кожну бібліотеку можна викликати окремо. Заголовний файл "log.h" необхідно вставити в файл
файли, які використовують функції або структури, визначені в бібліотеці.

Використовуйте журнал онлайн за допомогою служб onworks.net


Безкоштовні сервери та робочі станції

Завантажте програми для Windows і Linux

  • 1
    KDiff3
    KDiff3
    Це сховище більше не підтримується
    і зберігається для архівних цілей. Подивитися
    https://invent.kde.org/sdk/kdiff3 for
    найновіший код і
    https://download.kde.o...
    Завантажити KDiff3
  • 2
    USBLoaderGX
    USBLoaderGX
    USBLoaderGX - це графічний інтерфейс для
    USB-завантажувач Waninkoko, заснований на
    libwiigui. Це дозволяє перерахувати та
    запуск ігор Wii, ігор Gamecube та
    самоварний на Wii і WiiU...
    Завантажте USBLoaderGX
  • 3
    Жар-птиця
    Жар-птиця
    Firebird RDBMS пропонує функції ANSI SQL
    і працює на Linux, Windows і
    кілька платформ Unix. особливості
    чудова паралельність і продуктивність
    & потужність...
    Завантажити Firebird
  • 4
    KompoZer
    KompoZer
    KompoZer — це HTML-редактор wysiwyg, який використовує
    кодова база Mozilla Composer. Як
    Розвиток Nvu було зупинено
    у 2005 році KompoZer виправляє багато помилок і
    додає ф...
    Завантажити KompoZer
  • 5
    Безкоштовний завантажувач манги
    Безкоштовний завантажувач манги
    Безкоштовний завантажувач манги (FMD) є
    програма з відкритим кодом, написана
    Object-Pascal для управління і
    завантаження манги з різних веб-сайтів.
    Це дзеркало...
    Завантажте безкоштовний завантажувач манги
  • 6
    Aetbootin
    Aetbootin
    UNetbootin дозволяє створювати завантажувальні програми
    Живі USB-накопичувачі для Ubuntu, Fedora та
    інші дистрибутиви Linux без
    запис компакт-диска. Він працює на Windows, Linux,
    і ...
    Завантажити UNetbootin
  • Детальніше »

Команди Linux

  • 1
    abc2abc
    abc2abc
    abc2abc - простий abc
    засіб перевірки/переформатування/транспозер...
    Запустіть abc2abc
  • 2
    abc2ly
    abc2ly
    abc2ly - сторінка посібника для abc2ly
    (LilyPond) 2.18.2 ...
    Запустіть abc2ly
  • 3
    coqdoc
    coqdoc
    coqdoc – інструмент документування для
    Помічник перевірки Coq...
    Запустіть coqdoc
  • 4
    coqide
    coqide
    coqide - помічник з перевірки Coq
    графічний інтерфейс...
    Запустіть coqide
  • 5
    g.gui.vdigitgrass
    g.gui.vdigitgrass
    g.gui.vdigit - Інтерактивне редагування та
    оцифрування векторних карт. КЛЮЧОВІ СЛОВА:
    загальний, інтерфейс користувача, GUI, вектор,
    монтаж, дигітайзер...
    Запустіть g.gui.vdigitgrass
  • 6
    g.listgrass
    g.listgrass
    g.list - перелік доступних даних GRASS
    базові файли заданих користувачем даних
    введіть за бажанням за допомогою пошуку
    візерунок. КЛЮЧОВІ СЛОВА: загальне, карта
    управління, список ...
    Запустіть g.listgrass
  • Детальніше »

Ad