Post · bonfire.cafe

@sandmouth@types.pl · last week

[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 · last week

back in the saddle

Log in

bonfire.cafe

A space for Bonfire maintainers and contributors to communicate

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

Bonfire social · 1.0.0 no JS en

Automatic federation enabled