Post · bonfire.cafe

Post

Log in

@sandmouth@types.pl · 2 months ago

[New Blog Post] Implementing E Unification using SMT https://www.philipzucker.com/smt_unify/ #logic #automatedreasoning #smt

Hey There Buddo!

Implementing E Unification using SMT

Unification is a logical flavored word for the notion of equation solving.

@sandmouth@types.pl replied · 2 months ago

back in the saddle

bonfire.cafe

A space for Bonfire maintainers and contributors to communicate

bonfire.cafe: About · Code of conduct · Privacy · Users · Instances

Bonfire social · 1.0.1-alpha.44 no JS en

Automatic federation enabled

Log in