Martin Suda (@quickbeam123)
github

quickbeam123

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    9
  • Global Rank 1,031,278 (Top 36 %)
  • Followers 11
  • Registered about 11 years ago
  • Most used languages
    C++
         50.0 %
    C
         25.0 %
    Python
         25.0 %
  • Location 🇦🇹 Austria
  • Country Total Rank 3,612
  • Country Ranking
    C++
         429
    C
         477
    Python
         1,743

Top repositories

1

minireachIC3

An implementation of the model checking algorithm IC3 / PDR using Minisat 2.2 as the underlying SAT-solver
C++
6
star
2

PDRplan

An automated planner based on the Property Directed Reachability algorithm
C
2
star
3

ls4

A PLTL-prover based on labelled superposition with partial model guidance
C++
1
star
4

deepire-paper-supplementary-materials

Supplementary files accompanying the paper New Techniques that Improve ENIGMA-style Clause Selection Guidance (M. Suda) submitted to CADE2021
Python
1
star