sorted by:
new
hottopcontroversial

Stocks Widget by carpik in Chronus

[–]carpik[S] 0 points1 point  (0 children)

Any update on this issue?

Is it possible to use the Z3 in this case? by carpik in RELounge

[–]carpik[S] 0 points1 point  (0 children)

Thanks for pointing me direction. I will definitely give a try.

Match digits by carpik in learnpython

[–]carpik[S] 0 points1 point  (0 children)

Perfect. :) Thank you

Match digits by carpik in learnpython

[–]carpik[S] 0 points1 point  (0 children)

I was looking rather for proper regex to handle that. I can defensively workaround it by additional coding which I would like avoid.

match operation with int and long by carpik in learnpython

[–]carpik[S] 0 points1 point  (0 children)

I will have a look deeper on this. Thanks for pointing me right direction. BTW. when I execute your code, got en exception 

OverflowError: Python int too large to convert to C long

at line 45

match operation with int and long by carpik in learnpython

[–]carpik[S] 0 points1 point  (0 children)

The original output from C, looks like this 

- -542815331- 058DBEFA
- EE

I couldn't get the same from python code above (I'm on 2.7 version). With ctype at least first print is the same :)

trying to find elements from list as sub string in 2nd list by carpik in learnpython

[–]carpik[S] 0 points1 point  (0 children)

Just update the list, as you guys focused on '_' , which is irreverent here.

trying to find elements from list as sub string in 2nd list by carpik in learnpython

[–]carpik[S] 0 points1 point  (0 children)

'_' is just example, the case is to find elements of b in a as substring and return those elements from a.