Search Results for "boolean expression solver"

EAGO is an open-source development environment for robust and global optimization in Julia. EAGO is a deterministic global optimizer designed to address a wide variety of optimization problems, emphasizing nonlinear programs (NLPs), by propagating McCormick relaxations along the factorable structure of each expression in the NLP. Most operators supported by modern automatic differentiation (AD) packages (e.g., +, sin, cosh) are supported by EAGO and a number of utilities for sanitizing...

Code written in Python finds the best possible schedule for volunteers while incorporating constrains and special requirements using CP-SAT Solver (Constraint Programming - boolean SATisfiability problem Solver). Java version is in development. The problem Arranging volunteers for a helpline service for the period of one month. There are three types of work that could be done on the same day: Phone shift: Every day. Chat shift: Mondays and Wednesdays. ...

rutc is a calculator and expression solver for real and complex numbers. Besides the usual mathematical operations, it also offers user-defined functions, a statistical mode, input and output in several bases and also a linear equation solver.

biml is a Boolean calculator Implemented in Many Languages. The goal is to have a simple calculator that takes a boolean expression and returns a truth table in a large number of languages, written by many people.