Select a tag to browse associated projects and drill deeper into the tag cloud.
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. It can be used to prove the validity (or, dually, the satisfiability) of first-order formulas in a large number of built-in logical theories and their combination.
MEGARIT is a library to do efficient multiprecision integer arithmetic. The first implementation will be in C#. The library offers operations and functions sufficient for a solid layer for mathematical applications or libraries which provide high-level functionality. It emphasizes on efficient ... [More]
ArithmeticLayoutManagerThe ArithmeticLayoutManager is a layout manager which can be used to specify the bounds of a component as a series of mathematical expressions which are re-evaluated every time the parent is resized. The expressions consist of simple arithmetics combined with references to ... [More]
Copyright © 2013 Black Duck Software, Inc. and its contributors, Some Rights Reserved. Unless otherwise marked, this work is licensed under a Creative Commons Attribution 3.0 Unported License . Ohloh ® and the Ohloh logo are trademarks of Black Duck Software, Inc. in the United States and/or other jurisdictions. All other trademarks are the property of their respective holders.