Boolean Ro Diagam

pythonOCC comes with importers/exporters for the most commonly used standard data files format in engineering: STEP (AP203 and AP214), IGES, STL (ascii/binary) and VRML. After the import is successfull, the resulting shape can be handled as a native topology/geometry, i.e. you can use boolean...

incremental-sat-solver is a free and open source Haskell library that provides an implementation of the Davis-Putnam-Logemann-Loveland algorithm for the boolean satisfiability problem. incremental-sat-solver not only allows to solve boolean formulas in one go but also to add constraints and...

The core of PolyBoRi is a C++ library, which provides high-level data types for Boolean polynomials and monomials, exponent vectors, as well as for the underlying polynomial rings and subsets of the powerset of the Boolean variables. As a unique approach, binary decision diagrams are used as...


Platforms: Mac

BoolVar/Pb is a Java library for translating pseudo-Boolean constraints into CNF formulae. Pseudo-Boolean constraints are linear inequations with integer coefficients and 0/1 variables. They can be used for modelling a number of problems in the area of time-table design, planning, resource...


Platforms: Mac

OBStack is a very simple implementation of a stack data structure (last in, first out) in Cocoa. It supports the following operations: * push: push a new object onto the stack. * pop: retrieve the topmost object and remove it from the stack. * top: retrieve the topmost object without removing it...


Platforms: Mac

If you are using Djapian please tell us about your project in reply to this post Use this package to allow full-text search in your Django project. Features?*A* Most of this features provided by Xapian itself and Djapian in this case plays role only as Django-compatible adaptation. *...


Platforms: Mac

GRMustache is an Objective-C implementation of the Mustache logic-less template engine. Its parser has been inspired by the Mustache go implementation. Its tests are based on the Ruby one, that we have considered as a reference. It supports the following Mustache features: * comments *...


Platforms: Mac

tkalc is a pocket calculator for developers and IP network operators. Arbitrary arithmetic/logical expressions can be entered very quickly. The result is then simultaneously displayed in decimal, hexadecimal, octal, binary, ASCII, IP address, and boolean.


Platforms: Mac

Welcome to the Java Preprocessor project! This project is a pre-processor for multi program languages based on java. Features Firstly, It can run with??N?N* Command line GUI ant task Moreover, basically, It can do a preprocess work for any text files, such as code and plaint text,...


Platforms: Mac

A Java truth table viewer for investigating boolean expressions. Expressions can be composed of identifiers and the standard boolean operators && || ! and the bitwise operator


Platforms: Mac

A Software Laboratory for studying the properties of different types of Random Boolean Networks. It can calculate attractor statistics, graphic representation of dynamics, topology graph, etc.


Platforms: Mac

The Biochemical Abstract Machine (BioCham) is a modelling environment for systems biology, with some unique features for static analysis or for inferring unknown model parameters from temporal logic constraints. BioCham is mainly composed of : a rule-based language for modeling biochemical...


Platforms: Mac

dgMaster is a simple, free, extensible and open source data generator released under the GPL license. It is currently under development, (for now, only text format is supported), and the plan is to extend it with many features (database, xml and more). The data generator has built-in support for...


Platforms: *nix

PostgreSQL is a powerful, open source object-relational database system. It has more than 15 years of active development and a proven architecture that has earned it a strong reputation for reliability, data integrity, and correctness. It runs on all major operating systems, including Linux, UNIX...


Platforms: *nix

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...


Platforms: *nix

booleano 1.0 Alpha 1 20090715 booleano is a Python module for evaluation of boolean expressions in natural languages. Supported grammar The following Backus-Naur Form (BNF) defines the supported grammar: ::= ::= ::= * ::= ["OR" ] ::= ["AND" ] ::= ["NOT"] ::= |...


Platforms: *nix

This library implements a simple z3c.form-based wizard. The wizard is composed of multiple steps. Each step is a form. Data is stored in a session until the user clicks the Finish button on the last step. In order to make good use of this library you'll need to be reasonably familiar with...


Platforms: *nix

RO stands for Repository Observer. It is a complex tool developed for system administrators. It's purpose is to watch over systems and tied repositories. RO gathering information about packages installed on observing systems and available updates for packages in repositories related to that...


Platforms: *nix

YAML::Logic allows users to define simple boolean logic in a configuration file, without permitting them to run arbitrary code. While Perl code can be controlled with the Safe module, Safe can't prevent the user from defining infinite loops, exhausting all available memory or crashing the...


Platforms: *nix

Math::Symbolic::Operator is a Perl module with operators in symbolic calculations. SYNOPSIS use Math::Symbolic::Operator; my $sum = Math::Symbolic::Operator->new('+', $term1, $term2); # or: my $division = Math::Symbolic::Operator->new( { type => B_DIVISON, operands => [$term1,...


Platforms: *nix