2D 1 batch 1 benchpress 1 build 1 C 1 c++11 1 cache 1 cnf 1 collections 1 compiler 1 concurrency 1 debug 1 dot 1 emptyset 1 flat_map 1 format 1 frist 1 GADT 2 go 1 graphics 1 httpd 1 json 1 lazy 1 logic 3 logtk 1 make 1 memoization 1 msat 1 obj 1 ocaml 13 ocaml,merlin,inotify 1 optimization 1 performance 2 primitive 1 printing 1 proof 2 properties 1 random 1 refinement 1 resolution 1 SAT 1 serializing 1 sexp 1 sidekick 1 smt 1 testing 1 topology 1 types 1 unsafe 1