Elias Kuiter

thanks @ChristianKaltenecker, we (Thomas Thüm's and Gunter Saake's group) also did work with some of these projects (good catch regarding coreboot). (also see my comment on #235)

Regarding the extraction and transformation of feature-model formulas, I have done a lot of work over at https://github.com/ekuiter/tseitin-or-not-tseitin to extract projects other than Linux (see https://github.com/ekuiter/tseitin-or-not-tseitin/blob/main/input/extract_ase22.sh), although this project is...

Same here, bootstrap CSS is included on every route.

I ended up doing exactly that (frontend and backend as separate apps, Atmosphere package for shared collections and publications). In general, your approach works fine - the only problem I...

If anyone's still wondering, try using Browserify's `--standalone` option, like this: ``` browserify logic-solver.js --standalone Logic > bundle.js ``` For browser distribution, you might want to [uglify](https://github.com/mishoo/UglifyJS2) the resulting bundle:...