Home
last modified time | relevance | path

Searched refs:Otter (Results 1 – 25 of 852) sorted by relevance

12345678910>>...35

/dports/www/otter-browser/otter-browser-1.0.03/
H A Dotter-browser.desktop2 Name=Otter Browser
4 Name[bg]=Otter Браузър
5 Name[cs]=Otter Browser
6 Name[da]=Otter Browser
7 Name[de]=Otter-Browser
8 Name[el]=Περιηγητής Otter
13 Name[et]=Otter brauser
14 Name[fi]=Otter selain
16 Name[he]=דפדפן Otter
19 Name[id]=Otter Browser
[all …]
H A Dotter-browser.rc14 VALUE "CompanyName", "Otter Browser Team"
15 VALUE "FileDescription", "Otter Browser"
18 VALUE "LegalCopyright", "Copyright (C) 2013-2022 Otter Browser Team"
20 VALUE "ProductName", "Otter Browser"
H A DREADME.md1 # ![Otter Browser logo](resources/icons/otter-browser-64.png) Otter Browser
6 [**Otter Browser**](https://otter-browser.org/) aims to recreate the best aspects of **Opera 12** a…
16 You can either compile Otter Browser from source or use pre-compiled binaries.
20 To build Otter Browser, you will need the following dependencies: **Qt 5.6.0** (or newer), **OpenSS…
44 Otter Browser is *your* browser. Because it is free software (GPL v3), you can contribute to make i…
52 We use [Transifex](https://www.transifex.com/otter-browser/otter-browser/) to translate Otter Brows…
54 To stay informed of Otter development, bug fixes and new features, you can join [the official forum…
/dports/math/vampire/vampire-4.5.1/Saturation/
H A DOtter.cpp40 Otter::Otter(Problem& prb, const Options& opt) in Otter() function in Saturation::Otter
45 ClauseContainer* Otter::getSimplifyingClauseContainer() in getSimplifyingClauseContainer()
50 void Otter::onActiveRemoved(Clause* cl) in onActiveRemoved()
61 void Otter::onPassiveAdded(Clause* cl) in onPassiveAdded()
72 void Otter::onPassiveRemoved(Clause* cl) in onPassiveRemoved()
83 void Otter::onClauseRetained(Clause* cl) in onClauseRetained()
92 void Otter::onSOSClauseAdded(Clause* cl) in onSOSClauseAdded()
103 void Otter::handleUnsuccessfulActivation(Clause* c) in handleUnsuccessfulActivation()
H A DOtter.hpp36 class Otter class
40 CLASS_NAME(Otter);
41 USE_ALLOCATOR(Otter);
43 Otter(Problem& prb, const Options& opt);
H A DLRS.hpp39 : public Otter
46 : Otter(prb, opt), _limitsEverActive(false) {} in LRS()
/dports/misc/otter/otter-3.3f/documents/old_READMEs/
H A DREADME.3022 Otter, Version 3.0.2
13 4. Otter can output its input clauses in a form suitable for ANL-DP,
15 is set, Otter will translate the input clauses then exit without
17 from info.mcs.anl.gov in pub/Otter/papers. ANL-DP will be distributed
20 5. Otter can output proofs in a very detailed form with
27 6. Otter prints its ordinary proofs in a bit more detail than before.
31 FTP Otter 3.0.2 from info.mcs.anl.gov in pub/Otter/otter-3.0.2.tar.Z .
33 See pub/Otter/README for information on DOS (3.0.1) and Mac (3.0.0) versions.
H A DREADME.3053 Otter, Version 3.0.5
6 It has been more than two years since the release of Otter 3.0.4. I
7 haven't done a lot of work on Otter since then, but there have been a
14 FTP Otter 3.0.5 from ftp://info.mcs.anl.gov/pub/Otter/otter-3.0.5.tar.Z .
H A DREADME.3043 Otter, Version 3.0.4
7 It has been about a year since the release of Otter 3.0.3. Since
14 FTP Otter 3.0.4 from info.mcs.anl.gov in pub/Otter/otter-3.0.4.tar.Z .
H A DREADME.3063 Otter, Version 3.0.6
10 FTP Otter 3.0.6 from ftp://info.mcs.anl.gov/pub/Otter/otter-3.0.6.tar.Z
H A DREADME.split22 which asks Otter to attempt a split every (approximately) 10 seconds.
47 Say Otter decides to split the search into n cases. For each case,
70 The following command simply asks Otter to split on ground given clauses.
77 If Otter finds a suitable (see flags below) nonunit ground clause
87 Otter splits on ground nonunit clauses only. They can
122 cause Otter to perform a (not very speedy) Davis-Putnam search.)
128 Otter splits on atoms that occur in nonunit ground clauses.
162 can give a sequence of atoms in the input file, and Otter will
172 Otter will immediately (because of split_given) split the
181 If Otter fails to find a proof for a particular case (e.g., the Sos
[all …]
/dports/misc/otter/otter-3.3f/
H A DREADME2 Otter, Version 3.3 Search for Proofs
14 Over the years we've added many experimental features to Otter,
18 The Otter package now includes Mace 2 (as a separate program).
24 Mace2 is now in independent program. It no longer calls Otter
25 to parse the input. It still accepts the same inputs as Otter.
33 The documents directory contains a (newly updated) Otter 3.3
40 Download Otter 3.3 and Mace 2.2 from the Otter Web page:
81 To run the Otter test suite, "cd examples; ./Run_all".
84 The Otter web page is http://www.mcs.anl.gov/AR/otter/
H A DContents12 source/ Otter ource code
13 mace2/ Mace2 source code (uses Otter source)
15 examples/ Otter examples
22 Changelog list of changes to Otter
H A DREADME.Ivy1 Ivy is a system that checks Otter proofs and MACE models.
7 Ivy-2 is the current version. Otter-3.0.6 and MACE-1.3.4
8 come bundled with Ivy-2. If you wish to have Ivy-2 call Otter-3.3
26 so that they refer to the Otter-3.3 and MACE-2.1 binaries, for example,
H A DChangelog2 of Otter 3.0. The most recent entries are at the end.
8 Otter 2.99 released November 25, 1993.
14 Otter 3.0.0 released January 24, 1994.
31 Otter 3.0.1 - DOS version released Feb 22, 1994.
114 Otter 3.0.3 released August 26, 1994.
400 Otter 3.0.4 released -- August 16, 1995.
411 Otter 3.0.4 rereleased -- Sept. 24, 1995.
444 line in the ordinary Otter proof.
500 you can kill Otter and get statistics. To kill Otter and get statistics
540 Otter 3.0.5 released -- February 19, 1998.
[all …]
/dports/textproc/py-pygments/Pygments-2.7.2/tests/examplefiles/
H A DConstants.mo68 <dd><a href=\"http://www.robotic.dlr.de/Martin.Otter/\">Martin Otter</a><br>
73 email: <a href=\"mailto:Martin.Otter@dlr.de\">Martin.Otter@dlr.de</a></dd>
93 by <a href=\"http://www.robotic.dlr.de/Martin.Otter/\">Martin Otter</a>:<br>
98 by <a href=\"http://www.robotic.dlr.de/Martin.Otter/\">Martin Otter</a>:<br>
101 by <a href=\"http://www.robotic.dlr.de/Martin.Otter/\">Martin Otter</a>:<br>
/dports/misc/otter/otter-3.3f/examples/Loop/
H A DREADME2 a sequence of Otter jobs. The part of the input
6 each Otter job (named Sheffer-mgi-without-mirrors
17 Otter binary in otter-ploop.)
/dports/www/otter-browser/otter-browser-1.0.03/resources/translations/
H A Dotter-browser_sl.ts3 <name>Otter::AcceptCookieDialog</name>
168 <name>Otter::Action</name>
381 <name>Otter::Application</name>
2157 <name>Otter::Feed</name>
2409 <name>Otter::FeedsModel</name>
2698 <name>Otter::IconWidget</name>
3203 <name>Otter::Menu</name>
3236 <name>Otter::Migrator</name>
7026 <name>Otter::Transfer</name>
7340 <name>Otter::TrayIcon</name>
[all …]
H A Dotter-browser_th.ts3 <name>Otter::AcceptCookieDialog</name>
168 <name>Otter::Action</name>
381 <name>Otter::Application</name>
2156 <name>Otter::Feed</name>
2408 <name>Otter::FeedsModel</name>
2697 <name>Otter::IconWidget</name>
3202 <name>Otter::Menu</name>
3235 <name>Otter::Migrator</name>
7025 <name>Otter::Transfer</name>
7339 <name>Otter::TrayIcon</name>
[all …]
H A Dotter-browser_en_CA.ts3 <name>Otter::AcceptCookieDialog</name>
168 <name>Otter::Action</name>
383 <name>Otter::Application</name>
2159 <name>Otter::Feed</name>
2411 <name>Otter::FeedsModel</name>
2700 <name>Otter::IconWidget</name>
3205 <name>Otter::Menu</name>
3238 <name>Otter::Migrator</name>
7028 <name>Otter::Transfer</name>
7342 <name>Otter::TrayIcon</name>
[all …]
H A Dotter-browser_ka.ts3 <name>Otter::AcceptCookieDialog</name>
168 <name>Otter::Action</name>
381 <name>Otter::Application</name>
2156 <name>Otter::Feed</name>
2408 <name>Otter::FeedsModel</name>
2697 <name>Otter::IconWidget</name>
3202 <name>Otter::Menu</name>
3235 <name>Otter::Migrator</name>
7025 <name>Otter::Transfer</name>
7339 <name>Otter::TrayIcon</name>
[all …]
H A Dotter-browser_en_US.ts3 <name>Otter::AcceptCookieDialog</name>
168 <name>Otter::Action</name>
383 <name>Otter::Application</name>
2158 <name>Otter::Feed</name>
2410 <name>Otter::FeedsModel</name>
2699 <name>Otter::IconWidget</name>
3204 <name>Otter::Menu</name>
3237 <name>Otter::Migrator</name>
7027 <name>Otter::Transfer</name>
7341 <name>Otter::TrayIcon</name>
[all …]
H A Dotter-browser_ar.ts3 <name>Otter::AcceptCookieDialog</name>
168 <name>Otter::Action</name>
381 <name>Otter::Application</name>
2156 <name>Otter::Feed</name>
2408 <name>Otter::FeedsModel</name>
2697 <name>Otter::IconWidget</name>
3202 <name>Otter::Menu</name>
3235 <name>Otter::Migrator</name>
7025 <name>Otter::Transfer</name>
7342 <name>Otter::TrayIcon</name>
[all …]
H A Dotter-browser_bg.ts3 <name>Otter::AcceptCookieDialog</name>
168 <name>Otter::Action</name>
381 <name>Otter::Application</name>
2157 <name>Otter::Feed</name>
2409 <name>Otter::FeedsModel</name>
2698 <name>Otter::IconWidget</name>
3203 <name>Otter::Menu</name>
3236 <name>Otter::Migrator</name>
7026 <name>Otter::Transfer</name>
7340 <name>Otter::TrayIcon</name>
[all …]
H A Dotter-browser_gl.ts3 <name>Otter::AcceptCookieDialog</name>
168 <name>Otter::Action</name>
381 <name>Otter::Application</name>
2156 <name>Otter::Feed</name>
2408 <name>Otter::FeedsModel</name>
2697 <name>Otter::IconWidget</name>
3202 <name>Otter::Menu</name>
3235 <name>Otter::Migrator</name>
7025 <name>Otter::Transfer</name>
7339 <name>Otter::TrayIcon</name>
[all …]

12345678910>>...35