[go: up one dir, main page]

  • Join/Login
  • Business Software
  • Open Source Software
  • For Vendors
  • Blog
  • About
  • More
    • Articles
    • Create
    • SourceForge Podcast
    • Site Documentation
    • Subscribe to our Newsletter
    • Support Request
SourceForge logo
For Vendors Help Create Join Login
SourceForge logo
Business Software
Open Source Software
SourceForge Podcast
Resources
  • Articles
  • Case Studies
  • Blog
Menu
  • Help
  • Create
  • Join
  • Login
  • Home
  • Open Source Software
  • Database
  • Database Engines/Servers
  • Logic Lab
  • Files
Logic Lab

Logic Lab Files

This is a suite of mathematical software solvers GUI

Status: Beta
Brought to you by: jguadarrama
  • Summary
  • Files
  • Reviews
  • Support

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

Download Latest Version upd.zip (194.6 kB)
Email in envelope

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

Next
Home
Name Modified Size InfoDownloads / Week
TU-Wien Updater---Linux 2017-07-26
1 1 weekly downloads
PSmodels-online 2016-07-29
0
DLV-online 2016-07-28
1 1 weekly downloads
guides 2016-07-20
0
Totals: 4 Items   2
You Might Also Like
Monitor your whole IT Infrastructure Icon
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 Icon
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
    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
    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
    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
SourceForge
  • Create a Project
  • Open Source Software
  • Business Software
  • Top Downloaded Projects
Company
  • About
  • Team
  • SourceForge Headquarters
    1320 Columbia Street Suite 310
    San Diego, CA 92101
    +1 (858) 422-6466
Resources
  • Support
  • Site Documentation
  • Site Status
  • SourceForge Reviews
SourceForge logo
© 2025 Slashdot Media. All Rights Reserved.
Terms Privacy Privacy Choices Advertise
Thanks for helping keep SourceForge clean.
X

Briefly describe the problem (required):
Upload screenshot of ad (required):
Select a file, or drag & drop file here.
✔
✘
Screenshot instructions:

Click URL instructions:
Right-click on the ad, choose "Copy Link", then paste here →
(This may not be possible with some types of ads)

More information about our ad policies

Ad destination/click URL: