Your use of the packages on this site means you understand they are not supported or guaranteed in any way. Due to the nature of a public repository and unreliability due to distribution rights, these packages should not be used as is for organizational purposes either. Learn more.
Search for "tag:logic" returned 4 packages
Displaying results 1 - 4.
From Simon Tatham: "I wrote this collection because I thought there should be more small desktop toys available: little games you can pop up in a window and play for two or three minutes while you take a break from whatever else you were doing. And I was also annoyed that every time I found a good game on (say) Unix, it wasn't available the next ti... More information
SWI-Prolog offers a comprehensive free Prolog environment. Since its start in 1987, SWI-Prolog development has been driven by the needs of real world applications. SWI-Prolog is widely used in research and education as well as commercial applications. Join over a million users who have downloaded SWI-Prolog.
![Screenshot of LogicCards Chrome Extension](https://lh3.googleusercontent.com/GOtLeNonGWqRNzHjWFsheFWao1jHcltd2mLzoUBmHu4fb3yCoBjxQevCIg25YzNjyGAaovkH) # LogicCards provides dynamic notifications for the LogicNow platform LogicCards, the latest addition to Max RM’s (now SolarWinds MSP) tool set, brings the power of data driven intelligence to yo... More information
Logisim is an educational tool for designing and simulating digital logic circuits. It has been originally created by [Dr. Carl Burch](http://www.cburch.com/logisim/) and actively developed until 2011. After this date the author focused on other projects, and recently the development has been officially stopped [(see his message here)](http://www.... More information