/dports/www/otter-browser/otter-browser-1.0.03/ |
H A D | otter-browser.desktop | 2 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 D | otter-browser.rc | 14 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 D | README.md | 1 # ![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 D | Otter.cpp | 40 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 D | Otter.hpp | 36 class Otter class 40 CLASS_NAME(Otter); 41 USE_ALLOCATOR(Otter); 43 Otter(Problem& prb, const Options& opt);
|
H A D | LRS.hpp | 39 : public Otter 46 : Otter(prb, opt), _limitsEverActive(false) {} in LRS()
|
/dports/misc/otter/otter-3.3f/documents/old_READMEs/ |
H A D | README.302 | 2 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 D | README.305 | 3 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 D | README.304 | 3 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 D | README.306 | 3 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 D | README.split | 22 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 D | README | 2 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 D | Contents | 12 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 D | README.Ivy | 1 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 D | Changelog | 2 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 D | Constants.mo | 68 <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 D | README | 2 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 D | otter-browser_sl.ts | 3 <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 D | otter-browser_th.ts | 3 <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 D | otter-browser_en_CA.ts | 3 <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 D | otter-browser_ka.ts | 3 <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 D | otter-browser_en_US.ts | 3 <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 D | otter-browser_ar.ts | 3 <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 D | otter-browser_bg.ts | 3 <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 D | otter-browser_gl.ts | 3 <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 …]
|