Search Results for "boolean"

Library providing real-life XBNF grammars. All ressources about XBNF neurotranslator compiler here : https://neurotranslator.sourceforge.io

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 divisor - iterated summation and product operators - differentiation and integration High flexibility: - user defined constants and arguments, both free - and dependent on other arguments + possibility of use in functions - user defined functions (both free and depended) - user defined recursive arguments + simple (controlled) recursion (1 recursive argument) - user defined recursive functions / expressions (any) - complex, many arguments, no limitation - internal syntax checkin

opbdp is an implementation in C++ of an implicit enumeration algorithm for solving (non)linear 0-1 (or pseudo-Boolean) optimization problems with integer coefficients. A research report describing the techniques used in opbdp is included.

...Primitive Solid creation tools: Box, Cone, Truncated Cone, Cylinder, Sphere, Torus, Wedge, Truncated Wedge, Pyramid, Truncated Pyramid. 3. Sweep modeling tools: Extrude, Revolve, Loft, Pipe, Path 4. Boolean operation tools: Intersect, Subtract, Union, Xor, Fuse 5. Transform tools: Move, Rotate, Mirror, Scale

NOMAD is a C++ code that implements the MADS algorithm (Mesh Adaptive Direct Search) for difficult blackbox optimization problems. Such problems occur when the functions to optimize are costly computer simulations with no derivatives.

...At its core is the Level Set framework, allowing for an implicit surface description of material surfaces and interfaces. Within this framework models for geometry manipulation such as boolean operations and chemical mechanical planarization have been implemented. The tool supports several etching and deposition models, essential for the understanding of process-induced phenomena in micro- and nanoelectronics. The model support includes but is not limited to silicon etching in SF6/O2 and HBr/O2 plasmas, silicon dioxide etching in CF4 plasma, anisotropic wet etching of silicon, CFx polymer deposition on silicon, as well as several adaptable deposition models. ...

KeplerDB is a temporal database to store time/value entries where the type of value could be integer, float/double, boolean and string. KeplerDB is dedicated to be scalable and to create clusters of server allowing the user to analyse and store massing amount of data to monitor systems like computers, clusters, building and captors or financial systems like markets and accounts. The user can use KeplerDB to make data analysis on enormous amount of data (statistics and modelling).

Magic3D provides basic functions of processing 3D point cloud and mesh. http://geometryhub.net/en/magic3d

A IC/MEMS layout editor. Features: all angle, font generator, macros, boolean operations, design rule checker, supported formats:Calma GDSII, OASIS (Open Artwork System Interchange Standard), OpenAccess, DXF, CIF (Caltech Intermediate Form), ...

Simulator for Siemens S7-200 PLC. It supports boolean operations, counters, timers, rise up and fall down contacts, and mathematics operations, with integer and real numbers, like sin, cos, tan. Comments and advise are well accepted!

The Boolean Network Toolkit is an efficient and easy-to-use object-oriented C++ library which enables researchers to simulate ad carry out experiments (like attractor sampling and Derrida plot computation) on large boolean networks.

PolyBoRi is implemented as a C++ library for Polynomials over Boolean Rings, which provides high-level data types for Boolean polynomials. A python-interface yields extensible algorithms for computing Groebner bases over Boolean Rings.

this project uses Quine–McCluskey algorithm to optimize boolean functions, the input function should be given in terms of minterm numbers and the output is optimized and in form of sum of products(SOP) there is also a Cost calculation and comparison between different optimizations.

Quine-McCluskey boolean logic simplifier implemented in C++. It allows simplifying up to 32 variable input functions, including don't-care values. The program was written for digital design classes at the Poznan University of Technology (Poland).

c++ tools to convert any boolean formula to CNF or DNF, and make basic simplification. Please keep in mind that i'm still a student, and i'm open for any advice, criticism or question.

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.

iVSwap is a simple function which can be used as a library and swaps values between two variables in a mathematical way using a classic Boolean algebra law without the need of a buffer! The advantages of this technique is speed and portability.

Program for minimizing boolean functions using Karnaugh maps method.

Qlogico is a digital circuit simulator. True table, manipulation of boolean expresions, schematic capture and simulation, finite state machines, table of transitions, VHDL.

C++ template classes for Multi-Value Logic support arbitrary precision and user defined Multi-Value Logic types. This library comes with pre-defined data types: integer, boolean, bit, logic, std_logic, bit_vector, logic_vector and std_logic_vector.

Portable scientific program to calculate any boolean expressions with a powerful and easy-to-learn scripting language. Programmed in ANSI-C++.

CNF-toolkit is a simple library for constructing and manipulating boolean formulae in conjunctive normal form.