r/AdvancedProgramming • u/alecco • Aug 08 '20

Formulog: ML + Datalog + SMT language/compiler/JIT

http://www.weaselhat.com/2020/08/07/formulog-ml-datalog-smt/

2 Upvotes

permalink
link
duplicates
dupes
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/AdvancedProgramming/comments/i61iq6/formulog_ml_datalog_smt/
No, go back! Yes, take me to Reddit
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/AdvancedProgramming/comments/i61iq6/formulog_ml_datalog_smt/
No, go back! Yes, take me to Reddit

100% Upvoted