General

Profile

Ralf Wimmer

  • Login: wimmer
  • Registered on: 09/28/2012
  • Last connection: 05/28/2020

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
Signaturbasierte Bisimulationsberechnung 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 Ralf Wimmer

06/03/2018

07:14 PM Solving Dependency Quantified Boolean Formulas hqspre-1.4.zip
HQSpre Version 1.4 Ralf Wimmer

09/11/2017

08:26 PM Solving Dependency Quantified Boolean Formulas hqspre-1.3.zip
HQSpre version 1.3 Ralf Wimmer

03/23/2017

12:12 PM Solving Dependency Quantified Boolean Formulas hqspre-1.2.zip
Bug fix release Ralf Wimmer

01/08/2017

07:36 PM Solving Dependency Quantified Boolean Formulas hqspre-1.1.zip
Version 1.1 of the QBF and DQBF preprocessor HQSpre Ralf Wimmer

05/16/2016

01:18 PM Solving Dependency Quantified Boolean Formulas hqs_2016-05-16.zip
Recent version of HQS and the Skolem function checker Ralf Wimmer

04/20/2016

05:23 PM Solving Dependency Quantified Boolean Formulas benchmarks_2016-04-20.zip
DQBF Benchmarks Ralf Wimmer
12:47 PM Solving Dependency Quantified Boolean Formulas dep_analyzer-1.0.tar.gz
Dependency Schemes for DQBF Ralf Wimmer

Also available in: Atom