A video of mine using z3 for a CTF challengehttps://www.youtube.com/watch?v=TpdDq56KH1I …
-
-
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
-
-
@LiveOverflow just curious and wanna improve my Googlefu, how did you stumble on this talk? none of the keywords in title is in my interested list. but liked the talk very much.@desplesda well done -
I’m interested in gamedev. I subscribedto GDC talks on YouTube, and I follow the /r/unity3d subreddit. And it was posted on this subreddit ;) I guess it is an example that interest into a topic that doesn’t seem directly related to infosec, can still be very valuable ;)
- Još 1 odgovor
Novi razgovor -
-
-
Here's another fun use of an SAT solver! The Minecraft modloader Fabric uses SAT4J to order mods based on dependency relationships, and to choose the highest compatible version of shared libraries when multiple are available:https://github.com/FabricMC/fabric-loader/blob/master/src/main/java/net/fabricmc/loader/discovery/ModResolver.java#L90 …
-
This is super cool!
Kraj razgovora
Novi razgovor -
-
-
Interesting application of z3. Comes to mind my usage of z3 to solve vv_max from FlareOn 2019 which was probably an overkill but it worked ok :)
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.