marcinzh

Drup / sat_micro.ml

Last active June 15, 2020 17:17

SAT-MICRO, a Sat solver in 60 lines of code

	(* Code extracted from:
	SAT-MICRO: petit mais costaud !
	by Sylvain Conchon, Johannes Kanig, Stéphane Lescuyer
	*)

	module type VARIABLES = sig
	type t
	val compare : t -> t -> int
	end