Viewing profile — trex987
trex987
HN member- Joined
- Sat, Jan 20, 2018, 6:53 PM UTC
- HN karma
- 4
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About trex987
No profile information was provided.
Recent public activity
-
comment
Comment #16194795
Tried to use MiniZinc to write a model checker [1] for c programs a while back [2]. Essentially checking the equivalence of c functions that use only bit operations. It basically t…