delcypher

4 ms·

1. 1.▲
   Show HN: The Z3 theorem can now be built using CMake(github.com)

   2 points by delcypher 11y ago|0 comments
2. 2.▲
   by delcypher 11y ago

   Doesn't look like it's been mentioned yet but there is very related project called Online Abuse Prevention Initiative (OAPI http://onlineabuseprevention.org/ ). It would be a good idea to talk to them in addition t
3. 3.▲
   by delcypher 12y ago

   It does. You need to go into the terminal settings enable "Chroma Color" and then tweak the value.