https://github.com/meteor/minisat-emscripten
Share your research online by compiling it to JavaScript!
https://github.com/meteor/minisat-emscripten
Last synced: 5 months ago
JSON representation
Share your research online by compiling it to JavaScript!
- Host: GitHub
- URL: https://github.com/meteor/minisat-emscripten
- Owner: meteor
- Fork: true (jgalenson/research.js)
- Created: 2014-11-08T14:06:02.000Z (over 10 years ago)
- Default Branch: master
- Last Pushed: 2014-12-09T23:06:30.000Z (over 10 years ago)
- Last Synced: 2024-09-25T13:04:49.135Z (9 months ago)
- Language: Shell
- Size: 1.29 MB
- Stars: 3
- Watchers: 16
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
Meteor notes: This is a fork of
https://github.com/jgalenson/research.js where we only care about the
`minisat` directory, which contains a script for building MiniSat for
Emscripten.
When using, clone the meteor/minisat repo into the same directory as
this repo, on the 'emscripten' branch.
Original README follows.
### research.js
Share your research online by compiling it to JavaScript!
We will use this repository to host information and scripts
to help researchers port their research projects to JavaScript.
Note that Emscripten changes fairly frequently so these scripts
might not work perfectly; they are intended merely as examples
of how to compile projects with Emscripten.
A short writeup and demos are available [here](http://jgalenson.github.io/research.js/).