InglesPransesEspanyol

OnWorks favicon

acl2 - Online sa Cloud

Patakbuhin ang acl2 sa OnWorks na libreng hosting provider sa Ubuntu Online, Fedora Online, Windows online emulator o MAC OS online emulator

Ito ang command na acl2 na maaaring patakbuhin sa OnWorks na libreng hosting provider gamit ang isa sa aming maramihang libreng online na workstation gaya ng Ubuntu Online, Fedora Online, Windows online emulator o MAC OS online emulator

PROGRAMA:

NAME


acl2 - Isang Computational Logic

SINOPSIS


acl2

DESCRIPTION


Ang manu-manong pahinang ito ay nagdodokumento ng maikling acl2 utos. Ang manwal na pahinang ito ay isinulat para sa
Debian GNU/Linux distribution dahil walang manual page ang orihinal na program.
Sa halip, mayroon itong dokumentasyon sa GNU Info format gayundin sa html na format. Ang mga ito ay
kasama sa acl2-doc package. Ang dokumentasyon ay matatagpuan din sa proyekto
website, http://www.cs.utexas.edu/users/moore/acl2, kapwa sa html form at sa postscript.

Gumamit ng acl2 online gamit ang mga serbisyo ng onworks.net


Mga Libreng Server at Workstation

Mag-download ng Windows at Linux apps

  • 1
    PyQt
    PyQt
    Ang PyQt ay ang Python bindings para sa
    Qt cross-platform ng Digia
    balangkas ng pagbuo ng aplikasyon. Ito
    sumusuporta sa Python v2 at v3 at Qt v4 at
    Qt v5. Available ang PyQt...
    I-download ang PyQt
  • 2
    Mga Sardino
    Mga Sardino
    Sardi ay isang kumpletong restyling at
    pag-optimize ng svg code. 6 na pagpipilian para sa
    iyong mga application at 10 uri ng mga folder
    gamitin sa iyong file manager. Ang sardi
    mga icon...
    I-download ang Sardi
  • 3
    LMMS Digital Audio Workstation
    LMMS Digital Audio Workstation
    Ang LMMS ay isang libreng cross-platform na software
    na nagpapahintulot sa iyo na gumawa ng musika gamit ang
    iyong computer. Kung gusto mo ang proyektong ito
    isaalang-alang ang pagsali sa proyekto
    h ...
    I-download ang LMMS Digital Audio Workstation
  • 4
    FreeRTOS Real Time Kernel (RTOS)
    FreeRTOS Real Time Kernel (RTOS)
    Ang FreeRTOS ay isang real-time na nangunguna sa merkado
    operating system (RTOS) para sa
    microcontroller at maliit
    mga microprocessor. Ibinahagi nang malaya
    sa ilalim ng open source na kuto ng MIT...
    I-download ang FreeRTOS Real Time Kernel (RTOS)
  • 5
    Avogadro
    Avogadro
    Ang Avogadro ay isang advanced na molekular
    editor na idinisenyo para sa cross-platform na paggamit
    sa computational chemistry, molekular
    pagmomodelo, bioinformatics, materyales
    agham at...
    I-download ang Avogadro
  • 6
    XMLTV
    XMLTV
    Ang XMLTV ay isang set ng mga program na ipoproseso
    Mga listahan sa TV (tvguide) at tumulong sa pamamahala
    iyong panonood ng TV, pag-iimbak ng mga listahan sa isang
    XML-based na format. May mga kagamitan sa
    gawin...
    I-download ang XMLTV
  • Marami pa »

Linux command

Ad