ahorn
ahorn
I'd like to vote up the idea to create a new C interface: for experimental purposes, I would use it to create an STP back-end for [SMT Kit](https://github.com/ahorn/smt-kit), a statically-typed...
For those interested, clause allocation in Rust is also discussed by @jix in a recent [blog post](https://jix.one/refactoring-varisat-2-clause-storage-and-unit-propagation/#the-clause-allocator).
Could I ask you in what kind of application you are currently using cpp-channel?
Cool. This doesn't sound too unfamiliar :) I started this repository because I wanted to find out how far one gets by using the new C++11 concurrency-related features in implementing...
It depends; I think it depends how boost::coroutine work. Would you feel comfortable implementing a prototype that uses boost::coroutine so we could take a look at the design space?
Cheers.
This is helpful. Thank you. Are you planning to implement anything?
Comment from #17: Would it make sense for the caller of the API to be able to inject a Serializable object other than StringBuilder?
Sorry, I am not sure what problem you have in mind.
> [I]t's terrible to still work on a Eclipse project structure What is being used these days?