Updated python-sat to version 1.8.dev23. (#372)

Author: alexeyignatiev

packages/python-sat/meta.yaml

@@ -1,11 +1,11 @@
 package:
   name: python-sat
-  version: 1.8.dev20
+  version: 1.8.dev23
   top-level:
     - pysat
 source:
-  sha256: f2e522e83b4f561ffcec4592813b46abb52102cf86970f0a0113e42b7ba478c8
-  url: https://files.pythonhosted.org/packages/2e/5a/6dda876bdaa002b17b9afa68e8739ca1b108cf74b0249de2cbff4f3721e0/python_sat-1.8.dev20.tar.gz
+  sha256: 36d0522c46d600545f0ed65e9076a98bdb06111b7ac5d9f3f32242b78c9f22c9
+  url: https://files.pythonhosted.org/packages/b7/51/2dcc340eed0287de5e6f6f2a2f3b686b43732a2a1f5ca2de50ca19e912f6/python_sat-1.8.dev23.tar.gz
 
   patches:
     - patches/force_malloc.patch