User contributions for Stadler

16 October 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

15 October 2009

• 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

14 October 2009

• 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
• 15:5615:56, 14 October 2009 diff hist +49 ApCoCoA-1:Weyl.WRedGB No edit summary
• 15:5115:51, 14 October 2009 diff hist +68 ApCoCoA-1:Slinalg.SGEF No edit summary
• 15:4915:49, 14 October 2009 diff hist +168 ApCoCoA-1:Slinalg.SGEF No edit summary

6 August 2009

• 13:4313:43, 6 August 2009 diff hist −3 Main Page →ApCoCoA goes eclipse
• 09:1709:17, 6 August 2009 diff hist +179 ApCoCoA-1:What is ApCoCoA No edit summary
• 09:0909:09, 6 August 2009 diff hist +13 Main Page →News and Appointments