4 Commits (4f46eb0fd727177ef8a97f1fa6c9d0a050d689dc)

Author	SHA1	Message	Date
Josh Berdine	1635c1cf96	[sledge] Style: Change to less compact ocamlformat style ... Reviewed By: ngorogiannis Differential Revision: D21720967 fbshipit-source-id: b5794938c	5 years ago
Josh Berdine	65f369cf35	[ocamlformat] Reformat repo with new version ... Reviewed By: jvillard Differential Revision: D21583046 fbshipit-source-id: ee4793880	5 years ago
Josh Berdine	dd3645820f	[sledge] Remove Sh.var_strength, no longer used by Solver ... Summary: Now only used internally for printing. Reviewed By: jvillard Differential Revision: D21441534 fbshipit-source-id: 1e6e484c8	5 years ago
Josh Berdine	de20da4fb6	[sledge] Rename lib to src ... Reviewed By: jvillard Differential Revision: D21107643 fbshipit-source-id: 862a2d8c1	5 years ago