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	Size	InfoDownloads / Week
TU-Wien Updater---Linux	2017-07-26		0
PSmodels-online	2016-07-29		0
DLV-online	2016-07-28		0
guides	2016-07-20		0
Totals: 4 Items			0

You Might Also Like

Gen AI apps are built with MongoDB Atlas

The database for AI-powered applications.

MongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.

Start Free

Simple, Secure Domain Registration

Get your domain at wholesale price. Cloudflare offers simple, secure registration with no markups, plus free DNS, CDN, and SSL integration.

Register or renew your domain and pay only what we pay. No markups, hidden fees, or surprise add-ons. Choose from over 400 TLDs (.com, .ai, .dev). Every domain is integrated with Cloudflare's industry-leading DNS, CDN, and free SSL to make your site faster and more secure. Simple, secure, at-cost domain registration.

Recommended Projects

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...
The NeuroScholar System
A neuroscientific knowledge management system for the published literature
Ground Station Software Suite
The Ground Station Software Suite projects aims at providing free, useful software tools for ham radio operators. Currently, this projects hosts the Grig communication radio control. The source repository has been moved over to github.
Face Recognition System
Research on automatic face recognition in images has rapidly developed into several inter-related lines, and this research has both lead to and been driven by a disparate and expanding set of commercial applications. The large number of research activities is evident in the growing number of...
Haytham Gaze Tracker
Haytham is an open source video based eye tracker suited for head-mounted or remote setups. It provides real-time gaze estimation in the user’s field of view or the computer display by analyzing eye movement. Haytham offers gaze-based interaction with computer screens in fully mobile situations....

Logic Lab Files

This is a suite of mathematical software solvers GUI

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