UNB Theorem Prover?

Programmi correlati

• fastAOP Gratuito

  FastAOP è un framework AOP (Aspect Oriented Programming) ad alte prestazioni per java. Il quadro è stato inizialmente sviluppato per supportare la profilazione e il monitoraggio delle prestazioni per applicazioni J2EE di gr

• Butterfly Code Generator Gratuito

  Butterfly è un semplice generatore di codice che utilizza XMI come modello di input e XSLT per generare qualsiasi tipo di codice. Sono disponibili diversi modelli tra cui EJB, JDO e Struts. Gli utenti possono utilizzare i mo

• Neural network designer Gratuito

  Questo progetto è costituito da un'applicazione di progettazione basata su Windows e una libreria (che può essere eseguita su più piattaforme, incluso Android) insieme a diverse applicazioni demo (tra cui un client chatbot MV

• DL-Learner Gratuito

  DL-Learner è uno strumento per l'apprendimento di concetti nelle logiche di descrizione (DLL) da esempi forniti dall'utente. In modo equivalente, può essere utilizzato per imparare classi nelle ontologie OWL da oggetti selezi

• MakeEmbeddedRootfilesystem Gratuito

  Makerootfs semplifica la creazione di un file system radice per dispositivi incorporati (ad esempio basati su ARM) automatizzando il processo di compilazione incrociata tramite script di shell, patch e configurazioni predefin

• VCS Agents and Tools Gratuito

  L&obiettivo di questo progetto è fornire plug-in ("agenti") per Veritas Cluster Server su base Open Source.

• Etnia Workbench Gratuito

  Estensioni del progetto CDT che configurano compilatori aggiuntivi e altri plugin per rendere l'integrazione di vari plattform (in realtà microprocessori Texas Instrument & PIC)

• Steini\'s Mini Compiler Gratuito

  Il Mini Compiler di Steini è un compilatore DOS a 16 bit veloce. Si prega di aiutare a migliorare il linguaggio di programmazione scrivendo nuovi comandi. Il compilatore utilizza un set di file assembly per il processo di com

• JCustomizer Gratuito

  Il target del progetto JCustomizer è la personalizzazione generica e persistente di ogni GUI Java Swing/AWT in fase di esecuzione: font, colori, testi, acceleratori, ... Un buon accompagnamento è un accesso WYSIWYG all'intern

• net.sourceforge.ajstruts Gratuito

  Codice sorgente di un articolo (http://ajstruts.sf.net) pubblicato nell'11/2003 sulla rivista tedesca "Java Magazin", mostra come adattare le lib di terze parti (ad esempio i montanti) alle esigenze del progetto e f