Source file mc2_dimacs__.ml
1
2
3
4
5
6
7
8
9
10
(** @canonical Mc2_dimacs.Lexer *)
module Lexer = Mc2_dimacs__Lexer
(** @canonical Mc2_dimacs.Parser *)
module Parser = Mc2_dimacs__Parser
(** @canonical Mc2_dimacs.Plugin_sat *)
module Plugin_sat = Mc2_dimacs__Plugin_sat