2 search results for "author:"Alain Mebsout""
Showing 1 - 2
-
SMT based model checker for parameterized systems1.2.0Apache-2.0Used by 0 other packages02 Nov 2022
-
Easy API library and tools2.0.0LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 2 other packages14 Feb 2023