Giters
Kevin Lotz (lotzk)

lotzk

Geek Repo

9

followers

9

following

4

stars

Company:Kiel University

Location:Kiel

Github PK Tool:Github PK Tool

Kevin Lotz's starred repositories

automatark

Benchmark problems for different models of automata, transducers, and related logics

Language:JavaLicense:MITStargazers:28Issues:0Issues:0

rust-smt-strings

Language:RustLicense:Apache-2.0Stargazers:4Issues:0Issues:0

zaligvinder

Stargazers:3Issues:0Issues:0

rust-smt-ir

Language:SMTLicense:Apache-2.0Stargazers:31Issues:0Issues:0