> Yes, rather than demand others cater to your whims, frankly.
everyone caters their own part. I am giving suggestion how to cater more people, but if author is not interested in wide adaptation, it is his choice. I am more wondering why such behavior is so common.
> Do you realise how hypocritical it sounds to complain that you are not proficient in Javascript, when others might not be proficient in <insert your favoured language here>?
Not favorite, but language convenient for usage from other languages.
> Go use Z3
z3 is sat solver, which is very different to theorem prover.
Theorem prover in C is eprover for example, but it doesn't provide convenient API.
> I am more wondering why such behavior is so common.
I have already explained why it is common. Your dismissal of those explanations is neither here nor there, frankly. Most of these are example libraries done in the languages they know, not production quality systems for you to integrate. It's basically that simple.
And yes I'm aware re. Z3, which why in my quote I specifically said "provided its the type you're after". There are other choices across a range of languages, which a quick google search found. And Z3 is more than just a pure SAT solver, too.
everyone caters their own part. I am giving suggestion how to cater more people, but if author is not interested in wide adaptation, it is his choice. I am more wondering why such behavior is so common.
> Do you realise how hypocritical it sounds to complain that you are not proficient in Javascript, when others might not be proficient in <insert your favoured language here>?
Not favorite, but language convenient for usage from other languages.
> Go use Z3
z3 is sat solver, which is very different to theorem prover.
Theorem prover in C is eprover for example, but it doesn't provide convenient API.