Search Results for "logic puzzle collection"

The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques.

Dice endgames is a gambling and logical game with perfect information, at the same time being a variety of both variants of chess and checkers-like games, and dices. In this game, the arrangement of chess pieces depends on the values on the sides of the dice. It was conceived as teaching and training how to solve endgames, problems or random arrangements, such as Fischer's chess, in various board games of logic.

UniSIMD assembler is a high-level C/C++ macro assembler framework unified across ARM, MIPS, POWER and x86 architectures. It establishes a subset of both BASE and SIMD instruction sets with clearly defined common API, so that application logic can be written and maintained in one place without code replication. The assembler itself isn't a separate tool, but rather a collection of C/C++ header files, which applications need to include directly in order to use. At present, Intel SSE/SSE2...

XTCC/Qscript revolves around two concepts: 1) Data collection : Qscript 2) Data analysis : XTCC Qscript enables Market Research companies to securely collect data using online and offline mediums such as web, tablets/mobile. Different products include: 1) Pen and Paper Survey Management Qscript enables faster and easier keyboard entry with real time logic and validation. It generates SPSS and IBM Quantum compatible data tabulation programs leading to significant time savings of up...

A port of Simon Tatham's Portable Puzzle Collection to the GP2X, using SDL and SDL_gfx libraries as the basis.

Collection of action/puzzle games about Sint Nicolaas, who delivers presents and cookies to the chimneys each year in December.