Ralf Wimmer
- Login: wimmer
- Registered on: 09/28/2012
- Last connection: 10/18/2024
Issues
| open | closed | Total | |
|---|---|---|---|
| Assigned issues | 0 | 0 | 0 |
| Reported issues | 0 | 0 | 0 |
Projects
| Project | Roles | Registered on |
|---|---|---|
| antom | Developer, User | 07/21/2014 |
| AVACS | Manager | 09/28/2012 |
| Save Our Robots | Manager, Developer | 08/10/2016 |
| Solving Dependency Quantified Boolean Formulas | Manager | 04/26/2017 |
Activity
08/30/2018
-
04:04 PM Solving Dependency Quantified Boolean Formulas hqs_2018-08-30.zip
- The DQBF solver HQS
06/03/2018
-
- HQSpre Version 1.4
09/11/2017
-
- HQSpre version 1.3
03/23/2017
-
- Bug fix release
01/08/2017
-
- Version 1.1 of the QBF and DQBF preprocessor HQSpre
05/16/2016
-
- Recent version of HQS and the Skolem function checker
04/20/2016
-
- DQBF Benchmarks
-
- Dependency Schemes for DQBF
Also available in: Atom