Search Results for "logic puzzle collection"

Octave Forge is a central location for collaborative development of packages for GNU Octave. The Octave Forge packages expand Octave's core functionality by providing field specific features via Octave's package system. See https://octave.sourceforge.io/packages.php for a list of all available packages. GNU Octave is a high-level interpreted language, primarily intended for numerical computations. It provides capabilities for the numerical solution of linear and nonlinear problems, and for...

This collection of Python3 modules provides a large range of implemented decision aiding algorithms useful in the field of outranking digraphs based Multiple Criteria Decision Aid (MCDA), especially best choice, linear ranking and absolute or relative rating algorithms with multiple incommensurable criteria. Technical documentation and tutorials are available under the following link: https://digraph3.readthedocs.io/en/latest/ The tutorials introduce the main objects like digraphs, outranking...

mXparser is highly flexible parser of math expressions. Software provides easy to use API for JAVA, Android, C# .NET/MONO (CLS). Main functionalities: - basic operators, i.e.: +, -, *, ^, ! - Boolean logic operators i.e.: or, and, xor - binary relations i.e.: =, <, > - math functions (large library of 1-arg, 2-arg, 3-arg - - functions) i.e.: sin, cos, Stirling numbers, log, inverse functions - constants (large library), i.e.: pi, e, golden ratio - n-args functions i.e.: greatest common...

StreamAlert is a serverless, real-time data analysis framework that empowers you to ingest, analyze, and alert on data from any environment, using data sources and alerting logic you define. Computer security teams use StreamAlert to scan terabytes of log data every day for incident detection and response. Incoming log data will be classified and processed by the rules engine. Alerts are then sent to one or more outputs. Rules are written in Python; they can utilize any Python libraries...

LAnd Survey Tools "LAST" was created to preserve and expand on the work invested in an old, privately used, DOS based land survey construction and data collection application by porting much of the C++ coded logic and design concept over to Python.

This java program will ultimately solve grid-type logic problems if given enough clues in a pseudo english language. Features a user friendly GUI letting the user know the progression of the solving process based on the clues entered.

A collection of source code that will allow you to talk to ethernet-enabled instruments that use the VXI-11 protocol, from Linux. This includes a wide range of instruments (including oscilloscopes, logic analysers, spectrum analysers, function generators, etc.) by a wide range of manufacturers (including Tektronix, Agilent, LeCroy, and Anritsu to name just four). An interactive "send and receive" utility is included as an example. You may want to build on to these libraries for your specific...

KineticaRT .Net Components are a unique collection of software components for building high speed systems for control, monitoring, test and data acquisition. KineticaRT .Net Components have a proven track record for reliability and speed of implementation in automotive and aerospace markets. KineticaRT .Net Components are used in applications as diverse as greenhouse automation, financial data displays, retail security, F1 wind tunnels and engine test cells. KineticaRT .Net Components...

Superficially, Dominoes on Acid is a solitaire variant of Dominoes with weird colorful tiles. But on a deeper level it is a GUI for natural deduction. Every completed domino is equivalent to a proof of a tautology in classical propositional logic.

This project is a collection of tools that are useful for someone working in the computer engineering field. So far this program is able to do logic minimization using the Quine-McClusky Method, numeric base conversion, and some bit manipulations.

Metal and Money is a puzzle game involving acquiring items, meeting people, using their services. Its design goal was this: Playing M&M mirrors the activity of doing proofs in intuitionistic propositional logic. (Isn't that fascinating!?)

A logic based educational game.