diff options
| author | ijliao <ijliao@FreeBSD.org> | 2006-09-20 09:42:03 +0800 |
|---|---|---|
| committer | ijliao <ijliao@FreeBSD.org> | 2006-09-20 09:42:03 +0800 |
| commit | fd91087a8cf266498e91caf1be07b8875aa2377e (patch) | |
| tree | d52bb541553b3be4cb08b05921ea5e5bac964406 /math/Makefile | |
| parent | 1bebbfea782f9207ef92e2d4b0f960dd22853a83 (diff) | |
| download | freebsd-ports-graphics-fd91087a8cf266498e91caf1be07b8875aa2377e.tar.gz freebsd-ports-graphics-fd91087a8cf266498e91caf1be07b8875aa2377e.tar.zst freebsd-ports-graphics-fd91087a8cf266498e91caf1be07b8875aa2377e.zip | |
add cvcl 2.5.1
An automatic theorem prover for the SMT problem
PR: 103412
Submitted by: Li-Wen Hsu <lwhsu@lwhsu.org>
Diffstat (limited to 'math/Makefile')
| -rw-r--r-- | math/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/math/Makefile b/math/Makefile index 1146c0b7512..5e1039042d4 100644 --- a/math/Makefile +++ b/math/Makefile @@ -38,6 +38,7 @@ SUBDIR += concorde SUBDIR += convertall SUBDIR += coq + SUBDIR += cvcl SUBDIR += cxsc SUBDIR += dcdflib SUBDIR += diehard |