Search Results for "linux game iso"

The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques.

DAE Tools is a cross-platform equation-based object-oriented modelling, simulation and optimisation software. It is not a modelling language nor a collection of numerical libraries but rather a higher level structure – an architectural design of interdependent software components providing an API for: - Model development/specification - Activities on developed models, such as simulation, optimisation, sensitivity analysis and parameter estimation - Processing of the results, such as...

The architecture viewpoints (specifications for architecture views iaw ISO 42010) for TRAK. TRAK is a general systems-thinkers'/system engineering enterprise architecture framework. It is simple, user-friendly, pragmatic and not limited to IT. 100% triple-centric and semantically-sound. Defines a total of 24 viewpoints. The ones needed are selected by taking the task sponsor's concerns and matching them to the typical concerns that each TRAK viewpoint addresses. The triples that address...

The ‘setupdocx‘ provides a control layer for continuous documentation by the simplified creation, packaging, and installation of documentation. The provided commands are distributed as entry points and optional base classes for further customization into 'setup.py' - setuptools / distutils. Manages arbitrary document templates for the supported builder, supports multiple builds with arbitrary document layouts, designs, and patched contents. The current release supports the following...

JSDAI is a toolkit for STEP (ISO 10303), the STandard for the Exchange of Product Model data, that enables linking of CAD, CAM, PDM, PLM, CAx systems. JSDAI supports the development of Express data models (ISO 10303-11) and their implementation in Java.

SEPIA provides implementations for various types of Petri nets. Along Place/Transition-nets, it supports Petri nets with distinguishable token colors and defines coloured workflow nets, where coloured tokens are interpreted as data elements used during process execution. To support information flow analysis of processes, SEPIA defines so-called IF-Nets, tailored for security-oriented workflow modeling which enable users to assign security-levels (HIGH, LOW) to transitions, data elements and...

Snot The Second, the rubber boxes King, declared a holy war against evil plastic balls to defeat himself and his crew lives. Excentric crossplatform 2D labyrinth game written in Python. Just try to reach exit of each level.

Framework for creation of board games. Chess is built-in, Monopoly comes next. It addresses: 1) Players 2) Game authors 3) AI developers 4) Model-based developers. Developed by software professionals using EMF. New games are configured in few hours.

Qt based map editor for Warzone 2100 game.

DARPA Urban Challenge, a C++ based platform for testing Path Planning Algorithms: An application of Game Theory and Neural Networks. Rubin, Raphael (2007)

This is a game.Player has to save his target point(staff).There is an enemy tank. The enemy tank will be trying to kill the staff.If staff is killed then game will be over. And if player can kill the enemy tank then player will win the game.

BuorCrass is a generic strategy game. The objective is to model the domain of strategy games, using object oriented tools.

This is the beginning of a project I would like to enlist the help of developers. nothing exists for a rather sureal, low grade weather, rainy, pt. pleasant video game with dimensional interplay and UFO's invading and beings such as mothman.

ISOcat is the, now discontinued, open source reference implementation of the ISO 12620 standard, which describes the data model and procedures for a Data Category Registry (DCR).