[sympy] r3282 committed - Edited wiki page through web user interface.
codesite...@google.com
Author: fab...@fseoane.net
Date: Sun Aug 30 12:18:06 2009
Log: Edited wiki page through web user interface.
http://code.google.com/p/sympy/source/detail?r=3282
Modified:
/wiki/AssumptionsReport.wiki
=======================================
--- /wiki/AssumptionsReport.wiki Sun Aug 30 12:17:25 2009
+++ /wiki/AssumptionsReport.wiki Sun Aug 30 12:18:06 2009
@@ -50,7 +50,7 @@
Solution is simple, the logic module and concretely the DPLL algorithm
should not use symbols internally, but some lighter structures. Integers
where perfect for my purposes.
-The next week, I managed to recode the DPLL algorithm to use integer
representation and avoid the conversion to integer representation in ask().
The speed gains where far beyond what [http://fseoane.net/blog/?p=164 I had
expected].
+The following week, I managed to recode the DPLL algorithm to use integer
representation and avoid the conversion to integer representation in ask().
The speed gains where far beyond what [http://fseoane.net/blog/?p=164 I had
expected].
= Future work and removing the old assumption system =