Logic Lab Files

This is a suite of mathematical software solvers GUI

Status: Beta

Brought to you by: jguadarrama

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	InfoDownloads / Week
TU-Wien Updater---Linux	2017-07-26	1
PSmodels-online	2016-07-29	0
DLV-online	2016-07-28	1
guides	2016-07-20	0
Totals: 4 Items		2

You Might Also Like

Monitor your whole IT Infrastructure

Know what's up and what's new: Monitor all your systems, devices, traffic and applications.

Caters to tech staff, system Administrators, and companies of any size, from small and medium sized businesses to enterprises that need their IT network to be reliable and easy to monitor in real-time. Equipped with an easy-to-use, intuitive interface with a cutting-edge monitoring engine. PRTG optimizes connections and workloads as well as reducing operational costs by avoiding outages while saving time and controlling service level agreements (SLAs).

Start Your Free PRTG Trial Now

OpManager the network monitoring software used by over 1 million IT admins

Network performance monitoring, uncomplicated.

ManageEngine OpManager is a powerful network monitoring software that provides deep visibility into the performance of your routers, switches, firewalls, load balancers, wireless LAN controllers, servers, VMs, printers, and storage devices. It is an easy-to-use and affordable network monitoring solution that allows you to drill down to the root cause of an issue and eliminate it.

Learn More

Recommended Projects

ToricCam
ToricCam is a C++ library I have developped for my research. It provides a starting point to using the Toric Space viewpoint representation [Lino & Christie, SIGGRAPH 2015]. It also implements our preliminary work published at SCA 2012. The library is released under the GNU General Public...
ConceptBase.cc
ConceptBase.cc is a multi-user deductive and object-oriented database system for metamodeling and method engineering. Includes a graphical client that builds upon the logic-based features of the ConceptBase.cc server. The data model is O-Telos. ConceptBase.cc can represent information at the...
Joshua chess robot
Joshua chess robot: a stepper motor robot interfaced with a photosensible board to play chess with an embedded artificial intelligence, a game database or and internet player. Software, robot photos, tech papers, schematics and cabling included. Enjo
The NeuroScholar System
A neuroscientific knowledge management system for the published literature
MaxParser
The MaxParser is written in c++ and can parse with first, second, third and fourth order projective Graph-based Dependency parsing algorithm. The project is the new version of the project "Max-MSTParser". If you want to use this software for research, please reference this web address in your papers

Logic Lab Files

This is a suite of mathematical software solvers GUI

Get an email when there's a new version of Logic Lab