GitHub

Paul Tristan Wagner

GitHub profile Website

Poland rank: #2374
Kraków rank: #449
Top repository: paultristanwagner/model-checking ⭐ 16

Profile

Location: Kraków
City: Kraków
Public repositories: 2

Ranking metrics

Snapshot: April 2026

Stars: ⭐ 21
New stars: ⭐ 0
Events: 0

Best projects

Command line tool for model checking using LTL, CTL and CTL* formulas

Stars: ⭐ 16
New stars: ⭐ 0
Language: Java

Command line tool for SAT solving, SMT solving in various theories (NRA, LRA, LIA, EQ, EQUF, BV)

Stars: ⭐ 5
New stars: ⭐ 0
Language: Java

Maciej Ciemborowicz homepage github x linkedin