rsas

Joined 5 years ago

Karma

40

Submissions

2

Member since

Dec 10

View on Hacker News

Recent submissions

Finding Software Bugs Using Symbolic Execution sasnauskas.eu

100 rsas 5 years ago 10 comments

Solving River Crossing Puzzles with MiniZinc sasnauskas.eu

3 rsas 5 years ago 0 comments