Light

normanrz / emscripten-constraints Goto Github PK

View Code? Open in Web Editor NEW

6.0 5.0 1.0 17.88 MB

Emscripten-based constraint solvers (API Design and toolchain)

C++ 0.10% JavaScript 99.80% Shell 0.01% HTML 0.09%

emscripten-constraints's Introduction

Emscripten-based constraint solvers

Implemented solvers

Presentation

https://docs.google.com/presentation/d/1ViKZB2N_3aU3ga4KYHF-73TBx_kPAj6D8LAxf1Qjuy4/edit?usp=sharing

Code structure

Z3 and rhea are accessible through the z3/module.z3.js and rhea/module.rhea.js modules. These modules expose a promise-based loader.

var loadRhea = require("./rhea/module.rhea");
loadRhea("/rhea/").then(function (rhea) {
  doSomething(rhea);
});

Tests, Benchmarks and Examples can be accessed by starting a web server in this repo's root directory and navigating to the respective folder.
Basic BabelsbergJS implementations can be found in the examples folder.
Tests and Benchmarks can be run in the browser or with Karma.
Need to run npm install to use any of this.

emscripten-constraints's People

Contributors

Stargazers

Watchers

Forkers

timfel

emscripten-constraints's Issues

Write adapter for Z3

Make Z3 work with our module wrappers and toolchain

Test page

Use generic solver for testing all underlying wrappers.

Testing-Framework: http://mochajs.org/

Run tests on Travis CI again

Karma

Pre/Post-JS at compile time

Looks like it's possible to include custom JS via emcc:

https://kripken.github.io/emscripten-site/docs/tools_reference/emcc.html#emcc-pre-js

OOM in Lively Engine Demo

Replace server hosted z3 with local Emz3 and try to reproduce (and fix) out of memory issue.

UMD module format

We should support both AMD and CommonJS

Port Cassowary solver

Cassowary comparison performance (mercury)

Emscripten Wrapper

Port Ceres solver

Use 'Simple Bundle Adjuster' (included in ceres repo) as starting point

Promise-based loader

The loader should have a Promise-based interface:

Promises are the now the defacto standard for async code in JS
We can easily do memoization

Benchmark solvers

Reference: http://lively-kernel.org/babelsberg/users/timfelgentreff/ecoop_artifact.html

Run benchmarks in mocha on travis
Load tests into lively or extract tests from lively to compare?

Babelsberg-JS Stub

Recommend Projects

React

A declarative, efficient, and flexible JavaScript library for building user interfaces.
Vue.js

🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
TensorFlow

An Open Source Machine Learning Framework for Everyone
Django

The Web framework for perfectionists with deadlines.
Laravel

A PHP framework for web artisans
D3

Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

javascript

JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
web

Some thing interesting about web. New door for the world.
server

A server is a program made to process requests and deliver data to clients.
Machine learning

Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Visualization

Some thing interesting about visualization, use data art
Game

Some thing interesting about game, make everyone happy.

Recommend Org

Facebook

We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft

Open source projects and samples from Microsoft.
Google

Google ❤️ Open Source for everyone.
Alibaba

Alibaba Open Source for everyone
D3

Data-Driven Documents codes.
Tencent

China tencent open source team.