racket based solver-aided programming

https://emina.github.io/rosette/

#racket #scheme #solver #sat #dsl #verification

More SAT

https://cacm.acm.org/research/the-silent-revolution-of-sat/

#sat #solver #cp #lp #asp

ZOZO's Contact Solver (for physics-based simulations)

https://github.com/st-tech/ppf-contact-solver

#HackerNews #ZOZO #Contact #Solver #physics #simulations #simulation #technology #GitHub

Update http://Kryptografie.de, https://Kryptanalyse.de, http://MysteryMaster.de

neu: #Kryptoanalyse-Tool (#Solver) zum automatischen Brechen von monoalphabetischen Substitutions-#Chiffren

--> https://kryptografie.de/kryptografie/kryptoanalyse/solver-tool-zum-automatischen-knacken-von-monoalphabetischen-substitutions-chiffren.htm

#Chiffre #Geocaching #Rätsel #Codeknacker

Update http://Kryptografie.de, https://Kryptanalyse.de, http://MysteryMaster.de

neu: #Kryptoanalyse-Tool (#Solver) zum automatischen Brechen von monoalphabetischen Substitutions-#Chiffren

--> https://kryptografie.de/kryptografie/kryptoanalyse/solver-tool-zum-automatischen-knacken-von-monoalphabetischen-substitutions-chiffren.htm

#Chiffre #Geocaching #Rätsel #Codeknacker

Show HN: OffChess – 100k+ Offline, Ad-Free Chess Puzzles App
https://offchess.com
#ycombinator #offchess #chess #app #puzzle #puzzles #solver #board #game #online #trainer #tactics #strategy

#problem #solver

Sudoku 3/3
Die Webseite heißt "Sudoku-Labor" weil ich hier verschiedene Versuche zum Thema gemacht habe. Und auch die Besucher können hier experimentieren.
Man kann mit dem Smartphone ein Sudoku aufnehmen oder ein gespeichertes Bild laden. Mein OCR versucht, das Rätsel zu analysieren. Danach können sie es lösen lassen.
Mit einer Zufallsfunktion können sie Rätsel erzeugen lassen (dauert etwas 😉 ). Sie können eigene Rätsel erzeugen und diese prüfen. Und es gibt eine Auswahl von Rätseln, die sie lösen und downloaden können.

Viel Spaß 🙂 .

https://ulihansa.de/sudoku/

#sudoku #puzzle #raetsel #spiel #solver

Sudoku 2/3
Also habe ich beschlossen, zu beweisen, dass man Sudokus ganz leicht ausrechnen kann.
Na ja, ich musste einige Umwege machen bis es glückte. Und auf diesen Wegen konnte ich feststellen, dass Sudoku mathematisch sehr interessant ist.
So haben erst kürzlich Forschungen ergeben, dass die kleinste Anzahl Vorgaben für ein eindeutiges Sudoku (mit nur einer Lösung) 17 ist.
Des Weiteren gilt: Ein Rätsel mit 17 Zahlen, welches unlösbar ist, ist extrem selten.
Nun ist mir aber schon zwei Mal geglückt, ein unlösbares 17er Spiel zu erzeugen.
Hier isses, vielleicht kann es einer von Euch lösen.

#sudoku #puzzle #raetsel #spiel #solver

Sudoku 1/3
Zu Weihnachten bekam ich diesen Sudoku-Kalender.

Ganz schön viel Beschäftigung, und ehrlich, ich mochte Sudoku nie so sehr. Und wie ihr seht, bin ich auch noch nicht weit gekommen.
Hab immer gesagt, langweilig, kann man leicht rechnen....

#sudoku #puzzle #raetsel #spiel #solver

Clang Static Analyzer and the Z3 constraint solver
https://www.cambus.net/clang-static-analyzer-and-the-z3-constraint-solver/
#ycombinator #llvm #clang #scan_build #static #analysis #constraint #solver #cambus_net

I am now #programming since many years and I used many different languages over time. Though I fell in love with #scripting languages especially #Ruby and also some #python I came back to #csharp now and love many things about it.

BUT, why the heck did #Microsoft stop the #Solver Foundation? I feel really sorry to not find something proper there.

What are you doing about this issue, or is it only me?

Hello #TYPO3 community! My last two extensions #form_consent and #solver are now ready for TYPO3 13.0 as well. 🎉 Have fun with it :)

Чесно, було важко)) Це найбільший фан арт та арт який я коли-небудь малювала)) Я думала, що в мене ібіс вилетить))
Вітаю всіх з прийдешніми зимовими святами ☃️🎄

#ibisPaintX #MurderDrones #Solver #UziDoorman #KhanDoorman #NoriDoorman #SD_N #SD_V #SD_J #Alice #Cyn #Tessa #Yeva #Doll #Ukrainian #UkrArt #FanArt #MastoArt #УкрАрт #ФанАрт #МастоАрт

Сніг посеред сцени?... Ем, що сталось?

#MurderDrones #Solver #UziDoorman #Ukrainian #UkrArt #FanArt #MastoArt #УкрАрт #ФанАрт #МастоАрт

#Solver #CYN
Що вона задумала цього разу?

#MurderDrones #Ukrainian #UkrArt #FanArt #MastoArt #УкрАрт #ФанАрт #МастоАрт

Error

#MurderDrones #Solver #UziDoorman #Ukrainian #UkrArt #FanArt #MastoArt #УкрАрт #ФанАрт #МастоАрт

If nothing else, Solver is evidence that there is such a thing as too much serendipity. Similarly, the hero is living proof that it’s better to be lucky than good — or smart.
#Solver #MovieReview #Adventure #Mystery #Movie
https://ninetypercentcrapmoviereviews.wordpress.com/2023/07/17/solver/

You can now get the #ChatGPT feeling in #TYPO3 with v0.2.0 of the #solver extension: I switched to #OpenAI chat completion and implemented solution streaming 🎥. Make sure to change the model in your extension configuration, e.g. `gpt-3.5-turbo`.

Have fun with your exceptions 🔥

I just published my new #TYPO3 extension #solver. It extends TYPO3's #exception handler with #AI generated #solutions. Have fun handling your exceptions the better way!

→ https://github.com/eliashaeussler/typo3-solver

Thanks to @marcelpociot for the very inspiring article at https://beyondco.de/blog/ai-powered-error-solutions-for-laravel!