Search Results for "double dummy solver"

This program is fast and powerful solver of bridge double dummy problems. Working with pbn and deepFinesse files, store problems to html. There is big library of dd problems presented.

The application can create bridge hands with constraints, load and save PBN and LIN files, replay hands, call the double dummy solver in the net, including bidding and play, import LIN from the clipboard, export hands to HTML. Hands can be created with side conditions such "sAKxxx" or "E: >14 <20". A Java runtime is needed. Start with "java -jar bridge.jar". The source is included in the jar-file.

Gekko Timeseries Software is a free time-series oriented software package for timeseries handling, and solving and analyzing large-scale economic models. Since 2009, Gekko is being used by Danish ministeries, banks, interest groups and universities, for the simulation of economic and energy-related models. The software runs under Windows (.NET), and is open source (GNU GPL)

...Concerning performance, the tool enables to check all examples in the PVS Bernstein testsuite within a second, which can be an order of magnitude faster than some other tools such as QEPCAD or REDLOG. Although JBernstein uses double, it offers automatic error-estimation capabilities (experimental) so that the generated result is correct (the solver may return unknown when the error-estimate is too large)

1/ Double-click the cell you want to edit. The background color changes to white. The possible values appear in it. 2. Edit it to leave the requested number only. You can also click one of the buttons under the table: Click "Back" to cancel last entered number. Click the red "Reset Board" button to start a new puzzle. Click "Solve Now" to let the computer choose numbers. This is useful when the trial and error strategy is required.