notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Port details
otter Theorem prover and finite model searcher
3.3f_4 misc on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 3.3f_4Version of this port present on the latest quarterly branch.
Maintainer: wollman@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2006-02-06 17:37:36
Last Update: 2021-04-06 14:31:07
Commit Hash: 305f148
License: PD
Description:
SVNWeb : git : Homepage
pkg-plist: as obtained via: make generate-plist
Expand this list (328 items)
Collapse this list.
  1. /usr/local/share/licenses/otter-3.3f_4/catalog.mk
  2. /usr/local/share/licenses/otter-3.3f_4/LICENSE
  3. /usr/local/share/licenses/otter-3.3f_4/PD
  4. bin/anldp
  5. bin/mace2
  6. bin/otter
  7. share/examples/otter/summary
  8. share/examples/otter/Run_group
  9. share/examples/otter/auto/robbins.out
  10. share/examples/otter/auto/pigeon.in
  11. share/examples/otter/auto/salt.in
  12. share/examples/otter/auto/x2_quant.out
  13. share/examples/otter/auto/lifsch.in
  14. share/examples/otter/auto/mv25.out
  15. share/examples/otter/auto/steam.in
  16. share/examples/otter/auto/comm.in
  17. share/examples/otter/auto/ring_x2.in
  18. share/examples/otter/auto/tba_gg.in
  19. share/examples/otter/auto/x2_quant.in
  20. share/examples/otter/auto/w_sk.in
  21. share/examples/otter/auto/z11.out
  22. share/examples/otter/auto/pigeon.out
  23. share/examples/otter/auto/comm.out
  24. share/examples/otter/auto/salt.out
  25. share/examples/otter/auto/lifsch.out
  26. share/examples/otter/auto/sam.in
  27. share/examples/otter/auto/steam.out
  28. share/examples/otter/auto/wang1.in
  29. share/examples/otter/auto/group.out
  30. share/examples/otter/auto/cn19.out
  31. share/examples/otter/auto/ec_yq.in
  32. share/examples/otter/auto/ring_x2.out
  33. share/examples/otter/auto/robbins.in
  34. share/examples/otter/auto/ec_yq.out
  35. share/examples/otter/auto/wang1.out
  36. share/examples/otter/auto/w_sk.out
  37. share/examples/otter/auto/group.in
  38. share/examples/otter/auto/index.html
  39. share/examples/otter/auto/README
  40. share/examples/otter/auto/cn19.in
  41. share/examples/otter/auto/z11.in
  42. share/examples/otter/auto/sam.out
  43. share/examples/otter/auto/tba_gg.out
  44. share/examples/otter/auto/mv25.in
  45. share/examples/otter/misc/sax1.in
  46. share/examples/otter/misc/dem_alu.in
  47. share/examples/otter/misc/sax2.in
  48. share/examples/otter/misc/mv.in
  49. share/examples/otter/misc/andrews.in
  50. share/examples/otter/misc/dem_alu.out
  51. share/examples/otter/misc/stage1.out
  52. share/examples/otter/misc/str_bws.in.28752
  53. share/examples/otter/misc/cn.in
  54. share/examples/otter/misc/str_bws.in
  55. share/examples/otter/misc/andrews.out
  56. share/examples/otter/misc/kb_bench.in
  57. share/examples/otter/misc/stage2.in
  58. share/examples/otter/misc/dem_alu.in.28752
  59. share/examples/otter/misc/andrews.in.28752
  60. share/examples/otter/misc/cn.out
  61. share/examples/otter/misc/stage2.out
  62. share/examples/otter/misc/stage1.in
  63. share/examples/otter/misc/mv.out
  64. share/examples/otter/misc/index.html
  65. share/examples/otter/misc/sax2.out
  66. share/examples/otter/misc/README
  67. share/examples/otter/misc/kb_bench.out
  68. share/examples/otter/misc/mv.in.28752
  69. share/examples/otter/misc/cn.in.28752
  70. share/examples/otter/misc/str_bws.out
  71. share/examples/otter/misc/sax1.out
  72. share/examples/otter/misc/ec.out
  73. share/examples/otter/misc/ec.in
  74. share/examples/otter/Makefile
  75. share/examples/otter/fringe/luka5h.out
  76. share/examples/otter/fringe/lexical1.out
  77. share/examples/otter/fringe/gl8.in
  78. share/examples/otter/fringe/x3tricks.in
  79. share/examples/otter/fringe/lexical2.in
  80. share/examples/otter/fringe/if.in
  81. share/examples/otter/fringe/lexical3.out
  82. share/examples/otter/fringe/lexical2.out
  83. share/examples/otter/fringe/mfl_13.out
  84. share/examples/otter/fringe/gl8.out
  85. share/examples/otter/fringe/mfl_13.in
  86. share/examples/otter/fringe/gl4.out
  87. share/examples/otter/fringe/rob_ocd.in
  88. share/examples/otter/fringe/ec_yql.out
  89. share/examples/otter/fringe/ec_yql.in.28897
  90. share/examples/otter/fringe/rob_ocd.out
  91. share/examples/otter/fringe/x3tricks.out
  92. share/examples/otter/fringe/olsax_hints.in
  93. share/examples/otter/fringe/bring.out
  94. share/examples/otter/fringe/index.html
  95. share/examples/otter/fringe/if.out
  96. share/examples/otter/fringe/gl4.in.28897
  97. share/examples/otter/fringe/gl4.in
  98. share/examples/otter/fringe/README
  99. share/examples/otter/fringe/luka5h.in
  100. share/examples/otter/fringe/lexical1.in
  101. share/examples/otter/fringe/bring.in
  102. share/examples/otter/fringe/lexical3.in
  103. share/examples/otter/fringe/ec_yql.in
  104. share/examples/otter/fringe/olsax_hints.out
  105. share/examples/otter/wos/grp_exp4.in
  106. share/examples/otter/wos/grp_exp3.in
  107. share/examples/otter/wos/cursory.in
  108. share/examples/otter/wos/cursory.out
  109. share/examples/otter/wos/twoval.in
  110. share/examples/otter/wos/README.more
  111. share/examples/otter/wos/rigorous.out
  112. share/examples/otter/wos/grp_exp4.out
  113. share/examples/otter/wos/rigorous.in
  114. share/examples/otter/wos/rob_occ.in
  115. share/examples/otter/wos/index.html
  116. share/examples/otter/wos/rob_occ.out
  117. share/examples/otter/wos/manyval.out
  118. share/examples/otter/wos/README
  119. share/examples/otter/wos/manyval.in
  120. share/examples/otter/wos/twoval.out
  121. share/examples/otter/wos/grp_exp3.out
  122. share/examples/otter/Loop/temp
  123. share/examples/otter/Loop/otter-ploop
  124. share/examples/otter/Loop/Sheffer-mgi-without-mirrors
  125. share/examples/otter/Loop/README
  126. share/examples/otter/Loop/head
  127. share/examples/otter/ivy/group-x2-refute.out
  128. share/examples/otter/ivy/group-comm.out
  129. share/examples/otter/ivy/lifsch.in
  130. share/examples/otter/ivy/steam.in
  131. share/examples/otter/ivy/group-x2.out
  132. share/examples/otter/ivy/comb-sk-w.out
  133. share/examples/otter/ivy/lifsch.out
  134. share/examples/otter/ivy/p-and-not-p.in
  135. share/examples/otter/ivy/p-and-not-p.out
  136. share/examples/otter/ivy/steam.out
  137. share/examples/otter/ivy/cd-cn19.out
  138. share/examples/otter/ivy/t1.out
  139. share/examples/otter/ivy/group-comm.in
  140. share/examples/otter/ivy/comb-sk-w.in
  141. share/examples/otter/ivy/group-x2-refute.in
  142. share/examples/otter/ivy/group-x2.in
  143. share/examples/otter/ivy/index.html
  144. share/examples/otter/ivy/README
  145. share/examples/otter/ivy/cd-cn19.in
  146. share/examples/otter/ivy/t1.in
  147. share/examples/otter/index.html
  148. share/examples/otter/README
  149. share/examples/otter/program/mission.in
  150. share/examples/otter/program/jugs.out
  151. share/examples/otter/program/queens.in
  152. share/examples/otter/program/jugs.in
  153. share/examples/otter/program/two_inv.in
  154. share/examples/otter/program/two_inv.out
  155. share/examples/otter/program/eval.out
  156. share/examples/otter/program/mission.out
  157. share/examples/otter/program/queens.out
  158. share/examples/otter/program/index.html
  159. share/examples/otter/program/README
  160. share/examples/otter/program/eval.in
  161. share/examples/otter/Run_all
  162. share/examples/otter/Run_all.out
  163. share/examples/otter/kalman/i4.in
  164. share/examples/otter/kalman/ex_1.out
  165. share/examples/otter/kalman/i1.in
  166. share/examples/otter/kalman/ex_4.in
  167. share/examples/otter/kalman/ex_3.out
  168. share/examples/otter/kalman/ex_2.out
  169. share/examples/otter/kalman/i3.out
  170. share/examples/otter/kalman/ex_2.in
  171. share/examples/otter/kalman/ex_4.out
  172. share/examples/otter/kalman/ex_3.in
  173. share/examples/otter/kalman/ex_1.in
  174. share/examples/otter/kalman/i4.out
  175. share/examples/otter/kalman/i3.in
  176. share/examples/otter/kalman/index.html
  177. share/examples/otter/kalman/i1.out
  178. share/examples/otter/kalman/README
  179. share/examples/otter/kalman/i2.in
  180. share/examples/otter/kalman/i2.out
  181. share/examples/otter/split/GEO010-2.in
  182. share/examples/otter/split/wang3.out
  183. share/examples/otter/split/group2.in
  184. share/examples/otter/split/power.out
  185. share/examples/otter/split/GEO036-2.out
  186. share/examples/otter/split/zebra4.out
  187. share/examples/otter/split/pigeon5.in
  188. share/examples/otter/split/GEO036-2.in
  189. share/examples/otter/split/wang3.in
  190. share/examples/otter/split/zebra2.in
  191. share/examples/otter/split/README.more
  192. share/examples/otter/split/noncomm-group.out
  193. share/examples/otter/split/pigeon5.out
  194. share/examples/otter/split/power.in
  195. share/examples/otter/split/GRP025-1.out
  196. share/examples/otter/split/noncomm-group.in
  197. share/examples/otter/split/zebra4.in
  198. share/examples/otter/split/temp1
  199. share/examples/otter/split/group2.out
  200. share/examples/otter/split/index.html
  201. share/examples/otter/split/README
  202. share/examples/otter/split/pair.out
  203. share/examples/otter/split/pair.in
  204. share/examples/otter/split/zebra2.out
  205. share/examples/otter/split/GRP025-1.in
  206. share/examples/otter/split/GEO010-2.out
  207. share/examples/mace2/Run_mace
  208. share/examples/mace2/Makefile
  209. share/examples/mace2/basic/temp
  210. share/examples/mace2/basic/cl_sw.out
  211. share/examples/mace2/basic/cd.in
  212. share/examples/mace2/basic/tough-nut.out
  213. share/examples/mace2/basic/cl_ql.in
  214. share/examples/mace2/basic/tba.in
  215. share/examples/mace2/basic/noncommutative_group.in
  216. share/examples/mace2/basic/cd.out
  217. share/examples/mace2/basic/tba.out
  218. share/examples/mace2/basic/ordered_semi.in
  219. share/examples/mace2/basic/index.html
  220. share/examples/mace2/basic/README
  221. share/examples/mace2/basic/tough-nut.in
  222. share/examples/mace2/basic/cl_ql.out
  223. share/examples/mace2/basic/ring.in
  224. share/examples/mace2/basic/cl_sw.in
  225. share/examples/mace2/basic/program
  226. share/examples/mace2/basic/ring.out
  227. share/examples/mace2/basic/noncommutative_group.out
  228. share/examples/mace2/basic/ordered_semi.out
  229. share/examples/mace2/iterate/CAT019-5.out
  230. share/examples/mace2/iterate/PUZ001-3.in
  231. share/examples/mace2/iterate/LAT025-1.in
  232. share/examples/mace2/iterate/LCL136-1.out
  233. share/examples/mace2/iterate/RNG025-8.in
  234. share/examples/mace2/iterate/noncommutive_ring1.out
  235. share/examples/mace2/iterate/noncommutive_ring1.in
  236. share/examples/mace2/iterate/CAT019-5.in
  237. share/examples/mace2/iterate/cd.in
  238. share/examples/mace2/iterate/noncommutative_group.in
  239. share/examples/mace2/iterate/cd.out
  240. share/examples/mace2/iterate/PUZ001-3.out
  241. share/examples/mace2/iterate/BOO032-1.in
  242. share/examples/mace2/iterate/index.html
  243. share/examples/mace2/iterate/README
  244. share/examples/mace2/iterate/BOO032-1.out
  245. share/examples/mace2/iterate/kauer.out
  246. share/examples/mace2/iterate/program
  247. share/examples/mace2/iterate/LCL136-1.in
  248. share/examples/mace2/iterate/kauer.in
  249. share/examples/mace2/iterate/LAT025-1.out
  250. share/examples/mace2/iterate/RNG025-8.out
  251. share/examples/mace2/iterate/noncommutative_group.out
  252. share/examples/mace2/propositional/p8.out
  253. share/examples/mace2/propositional/p10.IN
  254. share/examples/mace2/propositional/p7.out
  255. share/examples/mace2/propositional/f3.out
  256. share/examples/mace2/propositional/p9.out
  257. share/examples/mace2/propositional/p6.in
  258. share/examples/mace2/propositional/p6.out
  259. share/examples/mace2/propositional/README.more
  260. share/examples/mace2/propositional/p9.in
  261. share/examples/mace2/propositional/q10.in
  262. share/examples/mace2/propositional/f4.out
  263. share/examples/mace2/propositional/f2.in
  264. share/examples/mace2/propositional/f2.out
  265. share/examples/mace2/propositional/p5.out
  266. share/examples/mace2/propositional/index.html
  267. share/examples/mace2/propositional/README
  268. share/examples/mace2/propositional/q10.out
  269. share/examples/mace2/propositional/p8.in
  270. share/examples/mace2/propositional/p5.in
  271. share/examples/mace2/propositional/f4.in
  272. share/examples/mace2/propositional/program
  273. share/examples/mace2/propositional/f3.in
  274. share/examples/mace2/propositional/p7.in
  275. share/examples/mace2/lattice/lt-ol.out
  276. share/examples/mace2/lattice/ml-mol.out
  277. share/examples/mace2/lattice/ol-e4.out
  278. share/examples/mace2/lattice/oml-mol.in
  279. share/examples/mace2/lattice/ol-oml.in
  280. share/examples/mace2/lattice/oml-mol.out
  281. share/examples/mace2/lattice/lt-ml.out
  282. share/examples/mace2/lattice/lt-ol.in
  283. share/examples/mace2/lattice/finite-lattice
  284. share/examples/mace2/lattice/ortholattice
  285. share/examples/mace2/lattice/lattice-axioms
  286. share/examples/mace2/lattice/ol-e1.out
  287. share/examples/mace2/lattice/ol-oml.out
  288. share/examples/mace2/lattice/ml-mol.in
  289. share/examples/mace2/lattice/index.html
  290. share/examples/mace2/lattice/README
  291. share/examples/mace2/lattice/mol-ba.out
  292. share/examples/mace2/lattice/ol-e1.in
  293. share/examples/mace2/lattice/mol-ba.in
  294. share/examples/mace2/lattice/program
  295. share/examples/mace2/lattice/ol-e4.in
  296. share/examples/mace2/lattice/lt-ml.in
  297. share/examples/mace2/index.html
  298. share/examples/mace2/README
  299. share/examples/mace2/quasigroup/qg7bl.in
  300. share/examples/mace2/quasigroup/qg6.in
  301. share/examples/mace2/quasigroup/qg4.out
  302. share/examples/mace2/quasigroup/qg1d.out
  303. share/examples/mace2/quasigroup/omts9.in
  304. share/examples/mace2/quasigroup/qg3.in
  305. share/examples/mace2/quasigroup/qg5l.out
  306. share/examples/mace2/quasigroup/qg3.out
  307. share/examples/mace2/quasigroup/omts9.out
  308. share/examples/mace2/quasigroup/qg1d.in
  309. share/examples/mace2/quasigroup/qg7bl.out
  310. share/examples/mace2/quasigroup/index.html
  311. share/examples/mace2/quasigroup/qg6.out
  312. share/examples/mace2/quasigroup/README
  313. share/examples/mace2/quasigroup/qg5l.in
  314. share/examples/mace2/quasigroup/program
  315. share/examples/mace2/quasigroup/qg4.in
  316. share/examples/mace2/quasigroup/qg2d.in
  317. share/examples/mace2/quasigroup/qg2d.out
  318. share/examples/mace2/Run_all
  319. share/examples/mace2/Run_all.out
  320. share/examples/mace2/Run_anldp
  321. share/examples/mace2/Perl-examples/Sheffer-mgi-without-mirrors
  322. share/examples/mace2/Perl-examples/commute4_filter
  323. share/examples/mace2/Perl-examples/index.html
  324. share/examples/mace2/Perl-examples/README
  325. share/examples/mace2/Perl-examples/candidates
  326. @owner
  327. @group
  328. @mode
Collapse this list.
Dependency lines:
  • otter>0:misc/otter
To install the port: cd /usr/ports/misc/otter/ && make install clean
To add the package, run one of these commands:
  • pkg install misc/otter
  • pkg install otter
PKGNAME: otter
Flavors: there is no flavor information for this port.
distinfo:
Packages (timestamps in pop-ups are UTC):
otter
ABIlatestquarterly
FreeBSD:11:aarch643.3f_23.3f_2
FreeBSD:11:amd643.3f_43.3f_4
FreeBSD:11:armv63.3f_23.3f_2
FreeBSD:11:i3863.3f_43.3f_4
FreeBSD:11:mips--
FreeBSD:11:mips643.3f_23.3f_2
FreeBSD:12:aarch643.3f_23.3f_4
FreeBSD:12:amd643.3f_43.3f_4
FreeBSD:12:armv63.3f_23.3f_4
FreeBSD:12:armv73.3f_23.3f_4
FreeBSD:12:i3863.3f_43.3f_4
FreeBSD:12:mips--
FreeBSD:12:mips643.3f_23.3f_2
FreeBSD:12:powerpc64-3.3f_4
FreeBSD:13:aarch643.3f_43.3f_4
FreeBSD:13:amd643.3f_43.3f_4
FreeBSD:13:armv63.3f_43.3f_4
FreeBSD:13:armv73.3f_43.3f_4
FreeBSD:13:i3863.3f_43.3f_4
FreeBSD:13:mips--
FreeBSD:13:mips643.3f_43.3f_4
FreeBSD:13:powerpc643.3f_43.3f_4
FreeBSD:14:aarch643.3f_4-
FreeBSD:14:amd643.3f_4-
FreeBSD:14:armv63.3f_4-
FreeBSD:14:armv73.3f_4-
FreeBSD:14:i3863.3f_4-
FreeBSD:14:mips--
FreeBSD:14:mips643.3f_4-
FreeBSD:14:powerpc643.3f_4-
 

There are no ports dependent upon this port

Configuration Options:
Options name:

USES:

Master Sites:
Expand this list (1 items)
Collapse this list.
  1. http://www-unix.mcs.anl.gov/AR/otter/dist33/
Collapse this list.

Number of commits found: 13

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
06 Apr 2021 14:31:07
 files touched by this commit commit hash:305f148f482daf30dcf728039d03d019f88344eb  3.3f_4
mat search for other commits by this committer
Remove # $FreeBSD$ from Makefiles.
03 Sep 2020 11:38:40
Original commit files touched by this commit Revision:547435  3.3f_4
se search for other commits by this committer
Add license

AFAICT, this software has been put into the public domain by its authors
and licensed for unrestricted world-wide distribution and use.
03 Sep 2020 09:41:20
Original commit files touched by this commit Revision:547434  3.3f_3
se search for other commits by this committer
Fix build with -fno-common
09 Sep 2015 14:43:39
Refresh Original commit files touched by this commit Revision:396512
amdmi3 search for other commits by this committer
- Switch to options helpers

Approved by:	portmgr blanket
09 Sep 2015 14:33:20
Original commit files touched by this commit Revision:396509  3.3f_2
amdmi3 search for other commits by this committer
- Fix shebangs

Approved by:	portmgr blanket
MFH:		2015Q3 (blanket)
21 Jan 2015 18:39:12
Original commit files touched by this commit Revision:377623  3.3f_1
marino search for other commits by this committer
misc/otter & biology/ariadne: Not jobs safe

The otter port tries to build libotter.a before an object is completely
built (share.o in my case) and ariadne tries to start building in a
directory before it is created (under multiple jobs).
09 Dec 2014 13:36:34
Original commit files touched by this commit Revision:374378  3.3f_1
bapt search for other commits by this committer
Cleanup plist
19 Jun 2014 16:07:57
Original commit files touched by this commit Revision:358437  3.3f_1
vanilla search for other commits by this committer
Stagify.

Approved by:	portmgr@
20 Sep 2013 20:50:59
Refresh Original commit files touched by this commit Revision:327745  Sanity Test Failure
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
misc)
19 Jul 2013 09:53:09
Original commit files touched by this commit Revision:323278  3.3f_1
danfe search for other commits by this committer
- Attempt to fix parallel builds (-jX)
- Utilize OPTIONS framework for docs and examples
- Generally clean up the port while here

Reported by:	pointyhat-west
19 Mar 2011 12:38:54
Original commit files touched by this commit   3.3f_1
miwi search for other commits by this committer
- Get Rid MD5 support
18 Nov 2008 17:30:04
Original commit files touched by this commit   3.3f_1
itetcu search for other commits by this committer
- fix typo, hence plist for -DNOPORTDOCS
- bum PORTREVISION

Approved by:    maintainer timeout on QAT BotMails
Prompted by:    QAT QA run
06 Feb 2006 17:36:47
Original commit files touched by this commit   3.3f
garga search for other commits by this committer
Otter is an automated deduction system (theorem prover) for
first-order logic with equality developed at Argonne National
Laboratories.

WWW: http://www-unix.mcs.anl.gov/AR/otter/

PR:             ports/92834
Submitted by:   wollman

Number of commits found: 13