sumith1896

3 ms·

1. 1.▲
   A SAT solver implementation in VHDL, welcome feedback(github.com)

   4 points by sumith1896 11y ago|0 comments
2. 2.▲
   by sumith1896 11y ago

   Coming from a guy who has no idea of Rust, and since we are talking about memory safety. In a c++ library, we use RCP (reference counted pointers) which dis-allocates on it's own, so we never call naked delete. Does such a thing exist