rename project - Githubissues

FormalSAT / trestle

Apache License 2.0

17 stars 2 forks source link

rename project #23

Open JamesGallicchio opened 5 months ago

JamesGallicchio commented 5 months ago

some proposals:

verified-sat, verif-sat
formal-sat
lean4sat (don't love that it's only 1 character off from the other LeanSAT; maybe we can convince them to rename theirs to sat4lean, which indicates the goal and difference in intentions)
sat-tools (I like that this indicates it is a very general SAT library, but it doesn't say anything about verification)

would appreciate more thoughts!

Vtec234 commented 5 months ago

lean4sat and sat4lean would be good naming if everybody agreed!