User contributions for Stadler

From ApCoCoAWiki

Results for Stadler talk block log uploads logs

A user with 1,397 edits. Account created on 18 January 2008.

11:3711:37, 16 October 2009 diff hist +79 Downloads →Eclipse GUI - Standalone Version
11:3411:34, 16 October 2009 diff hist +26 ApCoCoA-1:Tutorials →ApCoCoA with Eclipse-GUI (german)
11:2711:27, 16 October 2009 diff hist 0 N File:Quick start.pdf No edit summary current
11:2611:26, 16 October 2009 diff hist +49 ApCoCoA-1:Tutorials →ApCoCoA with Eclipse-GUI (german)
11:1411:14, 16 October 2009 diff hist 0 Main Page →News and Appointments
11:1311:13, 16 October 2009 diff hist 0 Main Page →ApCoCoA 1.2 Released! (July 15, 2009)
09:4109:41, 16 October 2009 diff hist +148 N ApCoCoA-1:Tut eclipse gui de New page: <div align="center"><websiteFrame> website=http://www.apcocoa.org/Tutorials/de/first_steps.html width=100% border=0 scroll=yes </websiteFrame></div>
09:3809:38, 16 October 2009 diff hist +31 ApCoCoA-1:Tutorials No edit summary
09:3409:34, 16 October 2009 diff hist +48 ApCoCoA-1:Tutorials No edit summary
09:3209:32, 16 October 2009 diff hist +1 ApCoCoA-1:Tutorials No edit summary
09:2909:29, 16 October 2009 diff hist +502 N ApCoCoA-1:Tutorials New page: There are different Tutorials for ApCoCoA available. ===ApCoCoA with Eclipse-GUI (german)=== You find a Tutorial for the standalone version of ApCoCoA eclipse-GUI and a introductory Tuto...
09:2609:26, 16 October 2009 diff hist −2 MediaWiki:Sidebar No edit summary
09:0209:02, 16 October 2009 diff hist +498 Downloads No edit summary

13:0713:07, 15 October 2009 diff hist +9 ApCoCoA-1:SAT.LaunchMiniSat No edit summary
13:0713:07, 15 October 2009 diff hist −8 ApCoCoA-1:SAT.LaunchCryptoMiniSat No edit summary
13:0613:06, 15 October 2009 diff hist −8 ApCoCoA-1:SAT.GetResult No edit summary
13:0613:06, 15 October 2009 diff hist −8 ApCoCoA-1:SAT.FixBits No edit summary
13:0513:05, 15 October 2009 diff hist −8 ApCoCoA-1:SAT.ConvertToXOR No edit summary
13:0413:04, 15 October 2009 diff hist −8 ApCoCoA-1:SAT.ConvertToCNF No edit summary
12:0212:02, 15 October 2009 diff hist +136 ApCoCoA-1:SAT.LaunchMiniSat No edit summary
12:0112:01, 15 October 2009 diff hist +39 N ApCoCoA-1:Sat.LaunchMiniSat ApCoCoA:Sat.LaunchMiniSat moved to ApCoCoA:SAT.LaunchMiniSat current
12:0112:01, 15 October 2009 diff hist 0 m ApCoCoA-1:SAT.LaunchMiniSat ApCoCoA:Sat.LaunchMiniSat moved to ApCoCoA:SAT.LaunchMiniSat
12:0012:00, 15 October 2009 diff hist +145 ApCoCoA-1:SAT.LaunchCryptoMiniSat No edit summary
11:5511:55, 15 October 2009 diff hist +45 N ApCoCoA-1:Sat.LaunchCryptoMiniSat ApCoCoA:Sat.LaunchCryptoMiniSat moved to ApCoCoA:SAT.LaunchCryptoMiniSat current
11:5511:55, 15 October 2009 diff hist 0 m ApCoCoA-1:SAT.LaunchCryptoMiniSat ApCoCoA:Sat.LaunchCryptoMiniSat moved to ApCoCoA:SAT.LaunchCryptoMiniSat
11:5511:55, 15 October 2009 diff hist −9 ApCoCoA-1:SAT.GetResult No edit summary
11:5311:53, 15 October 2009 diff hist −5 ApCoCoA-1:SAT.GetResult No edit summary
11:5211:52, 15 October 2009 diff hist +35 N ApCoCoA-1:Sat.GetResult ApCoCoA:Sat.GetResult moved to ApCoCoA:SAT.GetResult current
11:5211:52, 15 October 2009 diff hist 0 m ApCoCoA-1:SAT.GetResult ApCoCoA:Sat.GetResult moved to ApCoCoA:SAT.GetResult
11:5111:51, 15 October 2009 diff hist +26 ApCoCoA-1:SAT.FixBits No edit summary
11:4911:49, 15 October 2009 diff hist +33 N ApCoCoA-1:Sat.FixBits ApCoCoA:Sat.FixBits moved to ApCoCoA:SAT.FixBits current
11:4911:49, 15 October 2009 diff hist 0 m ApCoCoA-1:SAT.FixBits ApCoCoA:Sat.FixBits moved to ApCoCoA:SAT.FixBits
11:4811:48, 15 October 2009 diff hist +51 ApCoCoA-1:SAT.ConvertToXOR No edit summary
11:4411:44, 15 October 2009 diff hist +38 N ApCoCoA-1:Sat.ConvertToXOR ApCoCoA:Sat.ConvertToXOR moved to ApCoCoA:SAT.ConvertToXOR current
11:4411:44, 15 October 2009 diff hist 0 m ApCoCoA-1:SAT.ConvertToXOR ApCoCoA:Sat.ConvertToXOR moved to ApCoCoA:SAT.ConvertToXOR
11:4411:44, 15 October 2009 diff hist +16 ApCoCoA-1:SAT.ConvertToCNF No edit summary
11:4111:41, 15 October 2009 diff hist +38 N ApCoCoA-1:Sat.ConvertToCNF ApCoCoA:Sat.ConvertToCNF moved to ApCoCoA:SAT.ConvertToCNF current
11:4111:41, 15 October 2009 diff hist 0 m ApCoCoA-1:SAT.ConvertToCNF ApCoCoA:Sat.ConvertToCNF moved to ApCoCoA:SAT.ConvertToCNF
11:3911:39, 15 October 2009 diff hist +15 ApCoCoA-1:Num.SubEXTABM No edit summary
11:3411:34, 15 October 2009 diff hist +4 ApCoCoA-1:Num.AppKer No edit summary
11:3311:33, 15 October 2009 diff hist +4 ApCoCoA-1:Num.Ceil No edit summary
11:3211:32, 15 October 2009 diff hist +4 ApCoCoA-1:Num.FPart No edit summary
11:3111:31, 15 October 2009 diff hist +52 ApCoCoA-1:Num.Floor No edit summary
11:3011:30, 15 October 2009 diff hist +57 ApCoCoA-1:Num.FPart No edit summary

16:3916:39, 14 October 2009 diff hist +43 ApCoCoA-1:Num.Ceil No edit summary
16:1416:14, 14 October 2009 diff hist +28 ApCoCoA-1:Num.AppKer No edit summary
16:1416:14, 14 October 2009 diff hist −2 ApCoCoA-1:Num.BBABM No edit summary
16:1216:12, 14 October 2009 diff hist +28 ApCoCoA-1:Num.AppKer No edit summary
16:0616:06, 14 October 2009 diff hist +139 ApCoCoA-1:Weyl.AnnFs No edit summary
16:0316:03, 14 October 2009 diff hist +93 ApCoCoA-1:Weyl.BFs No edit summary

Retrieved from "https://app.apcocoa.uni-passau.de/wiki/index.php/Special:Contributions/Stadler"