Free normal logical software for linux

Pathological is an enriched clone of the game "Logical" by Rainbow Arts. To solve a level, fill each wheel with four marbles of matching color.
Various board elements such as teleporters, switches, filters, etc., make the game interesting and challenging. New levels can be created using your favorite text editor.
Main features:
- Sharp 800x600 graphics
- 50 diverse and challenging levels (more to come...)
- A cool 6-minute ambient soundtrack by an award-winning musician

Libconfig is a configuration file processing library that saves you from having to write your own configuration parsers and routines.
This project supports callback functions, automatic variable assignment, and many different configuration file types such as Apache-like, Windows INI-like, and whitespace separated.
Configuration is processed in a logical manner: global configuration files, local configuration files, environment variables, and finally command line options.
Enhancements:
- This release adds functions to set a user-specified error string from callback handlers.
- It exposes functions to convert from a string to a specified type.
- The documentation has been slightly cleaned up.

Interval arithmetic for Ada is a math library that provides an implementation of intervals for Ada. It includes arithmetic and relational operations.
Examples:
Tri-state logic
The package Intervals serves as a root package and also provides tri-state logic necessary to define relational operations on intervals. The type Logical is defined as:
type Logical is (False, True, Uncertain);
The following operations are defined for Logical:
function "not" (Left : Logical) return Logical;
function "and" (Left, Right : Logical) return Logical;
function "and" (Left : Logical; Right : Boolean)
return Logical;
function "and" (Left : Boolean; Right : Logical)
return Logical;
function "or" (Left, Right : Logical) return Logical;
function "or" (Left : Logical; Right : Boolean)
return Logical;
function "or" (Left : Boolean; Right : Logical)
return Logical;
function "xor" (Left, Right : Logical) return Logical;
function "xor" (Left : Logical; Right : Boolean)
return Logical;
function "xor" (Left : Boolean; Right : Logical)
return Logical;
Enhancements:
- For GNAT users GPS project files were included;
- Based on Measurement units for Ada v 2.4.

Linux Logical Volume Management HOWTO is describing Linux Logical Volume Management.
Logical Volume Management is the art of combining disks to create larger and more flexible filesystems.
You can concatenate partitions to create huge volumes.
Its also possible to create volume snapshots which enable more or less hot backups.
But you can also transparently move data from one disk to another.
This HOWTO helps you in a very hands-on way to use these amazing tools.
Enhancements:
- Released version 0.0.2 - these version numbers a rather bogus, but every once in a while we feel that we have progressed significantly, and bump the version number a bit. The version on this page is up to date within 15 minutes of our latest changes.

Multitalk project is a presentation program designed for giving more interactive and engaging talks. Slides are laid out in a two- dimensional canvas that you navigate in any direction, in real time, using the mouse.
All of your talks can be merged into the same space. You can zoom out and create hyperlinks between slides. Each slide may also contain nested expandable sections like a folding text editor. Every slide can have an arbitrary style to control layout and visual appearance.
Why another presentation program?
Other presentation programs force you to arrange your talk in a fixed order, and then to step through it in sequence - often while reading out the slides to the audience in a tedious manner! This means that in those programs:
- Theres no way to change the direction of your talk at presentation-time based on audience feedback.
- You cant have "optional" parts which you expand upon for longer, more detailed talks and present at an overview level otherwise, except by skipping slides.
- Theres no easy way to show central concepts or illustrate ones progress through the structure of the talk, except by regularly reinserting copies of the contents page.
- The speaker isnt actively involved in steering through and explaining the material, which can lead to poor communication.
- Updating multiple talks with shared material is difficult.
- You cannot view all of your talks in the same space.
- Presentation concerns are emphasised over content because slides are initially designed in a GUI rather than as plain text.
- Often the same template is used for all slides in a talk; putting the same abstract-but-vaguely-hitech-looking coloured pattern in the corner of each slide doesnt really add much to the talk.
What does Multitalk do better?
- Slides are laid out for display in a two-dimensional space which you can choose to navigate in real time in any direction.
- Slide text is written in a markup language using a normal text editor.
- Image placement is still controlled in a WYSIWYG manner using the program itself (which is quicker than pure markup language spacing commands).
- Slides can be any size and automatically resize to fit their contents; you can view multiple small ones at once or part of very large ones, so logical units dont have to be stretched to screen size.
- You can zoom out to rearrange slides or get an overview of the talk.
- Each slide acts like a folding text editor, with definable blocks which can be collapsed and expanded during the talk.
- You can define hyperlinks between different slides, which are spatially animated.
- You can define your own style templates to override all visual aspects, and each slide can independently use any style to highlight topics as required (you can have multiple "master slides" in other terminology).
Enhancements:
- This version adds LaTeX integration, which allows LaTeX syntax to be embedded within any slides text.

FOX Calculator is a desktop calculator written in FOX.
The FOX Calculator is a simple desktop calculator geared toward the programmer.
It supports not only a full complement scientific functions, but also common operations that programmers need, such as bitwise operations, bitwise shifting, and base-2 logarithm and exponents, and numeric conversion between hexadecimal, octal, binary, and decimal.
It implements correct operator precedences, and features a constant memory which permanently stores its value even if you exit the calculator and restart it later.
Main features:
- + Addition
- - Substraction
- * Multiplication
- / Floating point division
- AND Bit-wise logical and
- OR Bit-wise logical or
- XOR Bit-wise logical exclusive or
- NOT Bit-wise logical not
- SHL Bit-wise shift left
- SHR Bit-wise shift right
- SAR Bit-wise signed shift right (hit the "inv" button first)
- mod Integer modulo
- div Integer division (hit the "inv" button first
- sin Sine
- cos Cosine
- tan Tangent
- asin Inverse sine or arc sine (hit the "inv" button first)
- acos Inverse cosine
- atan Inverse tangent
- sinh Hyperbolic sine (hit the "hyp" button first)
- cosh Hyperbolic cosine
- tanh Hyperbolic tangent
- asinh Inverse hyperbolic sine (hit the "hyp" and "inv"buttons first)
- acosh Inverse hyperbolic cosine
- atanh Inverse hyperbolic tangent
- log Base 10 logarithm
- ln Natural logarithm
- 2log Base 2 logarithm
- x! Factorial
- nPr Permutations
- nCr Combinations
- sqrt Square root
- x^y X raised to the power y
- 1/x Reciprocal
- 10^x Base 10 exponentiation (hit the "inv" button first)
- e^x Exponentiation
- 2^x Base 2 exponentiation
- x^1/y X raised to the power 1/y
- x^2 X squared

yagg::Tutorial is a Perl module that contains a tutorial for yagg.

SYNOPSIS

# To use the generator
./yagg -m nonterminals.yg terminals.lg
./output/progs/generate 5

This tutorial will show you how to use yagg, by way of two examples. In the first example, we create a simple logical expression generator from scratch. In the second example, we create a more sophisticated logical expression generator from existing parser/lexer input files, such as those used by YACC/Bison and LEX/FLEX. These examples, plus another more sophisticated fault tree generator are included with the distribution in the examples/ directory.

It is assumed that the reader knows a little about formal grammars. Ideally, the reader would have some experience writing grammars for input to parser generators like YACC and Bison.

OpenDocMan is a Web-based document management system.
Written in PHP, and utilizing MySQL for the backend, this project is useful for any company looking to keep their documentation in a centralized repository
Main features:
- automated installation script
- check-in/out
- departmental access control
- file moderation
- fine grained user access control
- search function