Free solver software for mac

Triangle Solver 1.0 is a powerful program that makes it quick and easy to solve any defined triangle effortlessly.

Triangle Solver automatically solves any defined triangle. Simply insert the information you know about a triangle, and Triangle Solver tells you what you don't know. Triangle solver is not simply a calculator - Its intelligent. As well as knowing formulas it also knows when to employ them. This makes Triangle Solver easy to use and invaluable even for a math novice.

Triangle Solver can solve triangles defined by SSS, SAS, ASA, or even solve both solutions for ambiguous situations of SSA. Basically, if a triangle has a solution, Triangle Solver can find it. Even if the triangle has no solution, Triangle solver will tell you why.

JSokoApplet is a Java applet for playing the game of Sokoban. It features path finding, auto push, auto solving, undo/redo, deadlock detection, and more
JSokoApplet project is written in Java. You must have Java installed to start the game.
The game:
"Sokoban" is a puzzle game invented in Japan 1982 by Hiroyuki Imabayashi. The rules are very simple but the game itself is not.
The Rules
The object of the game is to push boxes to specially marked positions in a level. The boxes can only be pushed, never pulled, and only one can be pushed at a time. The player can only move on "free" (= no wall and no box) fields.
A level is solved if all boxes have been pushed to specially marked positions.
One field can just be occupied by only one of the following levelelements at a time: the player, a box, a wall
Just start the game. You easily will learn the rules by playing the game.
The computer will help you in positions where you lost the possibility to solve the level (for example, if you pushed a box in a corner) by showing you the message that the level isnt solvable anymore.
Note: Recognizing positions that are unsolvable is very difficult. Hence the computer just shows this message for some kinds of unsolvable positions.
How to Play
You can move the player by using the arrow keys or by using the mouse (or both)
Keyboard Functions
Move the player: Arrow keys
Undo last move: [Delete] or [Backspace]
Redo move from history: [Insert]
Restart level: [Enter]
Previous level: [Page up]
Next level: [Page down].
Mouse Functions
Left-click on a position to let the player automatically move to this position.
Left-click on a box to select it then left-click the target position. The player will automatically push the selected box to the specified position. Unselect a box by clicking on it again.
A click of the right mousebutton will undo the last done activity.
Enhancements:
- When a box is marked for pushing, the reachable squares of this box are highlighted.
- There are two new solvers (for very small levels only): A solver for moves with best push solutions, and a solver for pushes with best moves solutions.
- There is a new skin and new levels in this release.

SimpleCalcX 1.0.1 is a great implement that meets all your needs of simple and sophisticated calculations. Includes a Newton solver, numerical integration, and more. It knows atomic weights and has a currency table that can be updated by download from the IMF server. Small footprint at the screen. Provides the system service InstantCalc, and all calculations can be done inline when editing text in any application that supports the Service menu.

Requirements: Mac OS X 10.3 or later.

Sudokuki is a simple C++ graphical sudoku game, with a GTK+ frontend. Sudokuki includes a solver and a grid generator.
Other frontends could also be provided: GTKmm, Qt, wxWidgets, Xfc, NCurse.

System requirements:
-

Enhancements
- 2798611 "Edit/Lang","Edit/numbers" unavailable after Custom+New
- 2797875 "Save grid as..." and "Print" unavailable after Custom + New
- 2797600 Position of "Open grid" and "Save grid" dialogs
- 2797599 "Discard grid?" dialog remains after "custom grid" action
- 2796991 Keep same window position when changing language or numbers
- 2796986 "Discard grid?" dialog: leave it until the new grid is ready

GEMS is designed to allow developers to rapidly create a graphical modeling tool with no coding and immediately begin addressing the challenging aspects of these types of complex domains.
GEMS provides extensive support for integrating intelligent mechanisms into a modeling tool to provide visual modeling queues, simulation, constraint-compliant batch processing, and analysis.
The goal of the Generic Eclipse Modeling System (GEMS) is to bridge the gap between the communities experienced with visual metamodeling tools, such as the Generic Modeling Environment (GME), and those built around the Eclipse modeling technologies, such as the Eclipse Modeling Framework (EMF) and Graphical Modeling Framework (GMF).
GEMS is an open project and encourages developers to extend, enhance, and use its tools. GEMS has been developed in conjunction with research work done in collaboration with Siemens, IBM, and PrismTech. GEMS is an open source project, based on the Eclipse License.
Main features:
- A graphical language for metamodel specification that can capture
- domain entities
- attributes of entities
- inheritance relationships
- connection and containment relationships between entities
- distinct modeling views
- graphical information, such as connection styles, colors, and fonts
- constraints
- GEMS provides extensive support for intelligent modeling guidance including
- automatic solving of inference-based constraints for connection and containment
- applying batch changes to a model that are guided by a set of global constraints
- visually suggesting connection endpoints and element parents that conform to the specified constraints
- support for simulations
- mechanisms for integrating constraint solvers
- mechanisms for creating re-usable templatized constraint solvers
- mechanisms for discovering why a model cannot meet a set of global domain constraints
- graphical mechanisms for suggesting optimal modeling decisions derived from a constraint solver
- A code generation framework, which does not require any coding or XML editing, for transforming a GEMS metamodel into a working Draw2D/GEF Eclipse plug-in for editing instances of the language
- Ecore Model
- EMF Classes
- GEF/Draw2D Figures
- GEF/Draw2D Edit Parts
- other GEF/Draw2D Infrastructure for creating the palette, etc.
- plugin descriptor for the tool
- build descriptor for the project
- classpath descriptor for the project
- The visual appearance of the generated modeling tool can be customized by creating CSS stylesheets to modify the icons, colors, fonts, connection styles, and other visual attributes of the modeling entities
- The views available to a modeler can be customized through a mechanism similar to CSS stylesheets
- The generated graphical modeling plug-ins, created by GEMS, support extensive external customization through extension points for
- adding code generators and transformation, such as Open Architecture Ware, Java Emitter Templates, and Atlas Transformation Language
- model pre and post processing
- model event listeners
- triggers for invoking actions (similar to database triggers)
- constraint languages
- menus
- palette customizers
- intelligent modeling guides
- model serializers
- GEMS provides built-in support for constraints written in Java, OCL, and Prolog
- constraints can also be used as triggers for invoking actions
- Models and constraint solvers can be accessed remotely using a built-in CORBA server
System requirements:
- Java 1.5 (or higher), the Eclipse Modeling Framework, and the Graphical Editor Framework.