libLogic
Je het binnen 5 seconden downloaden.
U ook op de volgende externe downloadkoppeling klikken om te beginnen met downloaden:
http://liblogic.cvs.sourceforge.net/liblogic
Over libLogic
libLogic is een software bibliotheek voor geautomatiseerde stelling bewijzen met de geloofde-to-be-ongeëvenaarde vermogen om correct en efficiënt te bewijzen precies alle aantoonbare uitspraken in een logische theorie van elke orde, zonder menselijke hulp.
Gerelateerde programma's
-
CMS Utilities Gratis
cmsutils biedt programma's die u helpen bij het ontwikkelen, creëren en vertalen van cms (Postnuke, Xaraya, ...) modules. Geschreven in Delphi/Kylix
-
luabridge Gratis
Luabridge is een lichtgewicht, afhankelijkheidsvrije bibliotheek voor het exporteren van C++-functies en -klassen naar Lua-omgevingen. Het maakt gebruik van standaard-compliant C + + template metaprogramming en is geschreven
-
svgconv Gratis
svgconv is een content tool om SVG-paden om te zetten in een C-indeling die gemakkelijk kan worden gebruikt met OpenVG.
-
Mobile StrongBOX - Data Vault Gratis proefperiode
Mobile StrongBOX, de beste toepassing voor gegevensbescherming, is ontworpen voor het veilig opslaan van privé-informatie, zoals foto's of video's, wachtwoorden, gegevens voor bankrekeningen, documenten en alles wat u wilt
-
embedded Finite State Machine (eFSM) Gratis
De ingebouwde Finite State Machine (FSM) Faciliteit die kan worden gebruikt om een reactief of stateful systeem te modelleren en te bedienen. Het systeem kan worden vertegenwoordigd door een aantal staten. De overgangen van d
-
Albert Gratis
Albert is een doc-generator voor Common Lisp, vergelijkbaar met Javadoc en Doxygen. Momenteel genereert het DocBook-documentatie. Het leest een ASDF-systeemdefinitie en documenteert het systeem.
-
SETILog for Unix Gratis
SETILog slaat enkele statistieken op van een voltooide SETI@home-werkeenheid in een CSV-tekstbestand. Dit bestand is nodig door SETIWatch om de voltooide werkeenheden bij te houden.
-
HappyDoc Gratis
HappyDoc is een hulpmiddel voor het extraheren van documentatie uit Python-broncode. Het verschilt van andere dergelijke toepassingen door het feit dat het de parseboom voor een module gebruikt om de informatie af te leiden
-
OpenCL .Net Gratis
Dit project probeert twee dingen te doen. Ten eerste biedt het bindingen aan de OpenCL API die de OpenCL 1.1 spec zo goed mogelijk weerspiegelen. Ten tweede biedt het een abstractie op een hoger niveau van de API die meer is.
-
PAPAS: Path Planning Algorithm Suite Gratis
PAPAS (Path Planning Algorithms Suite) is een set algoritmen die bedoeld zijn voor padplanning. Het heeft gemeenschappelijke algoritmen zoals PRM, RRT, Wavefront Planner, enz. De implementatie gebeurt in C-taal en de code is