spass

Here are 4 public repositories matching this topic...

A program to decrypt .spass files.

Compile SPASS to WebAssembly using emscripten

solver webassembly wasm emscripten cnf theorem-prover max-planck-institute spass

Learning tool for Engineering students to improve the quality of their education

react education educational usability reu usability-study spass

master repo for logic formula generation

benchmark generator first-order-logic temporal-logic sat spass proover9 inkresat

Add a description, image, and links to the spass topic page so that developers can more easily learn about it.

To associate your repository with the spass topic, visit your repo's landing page and select "manage topics."