potassco/clingo-rs

Has anybody ever considered implementing a `Control` type that can safely be shared between threads?

Opened this issue 3 years ago · 1 comments

drwadu commented 3 years ago

Has anybody ever considered implementing a `Control` type that can safely be shared between threads?

sthiele commented 3 years ago

I use a Arc<Mutex<Solver>> in the clingo-server to control access.

https://github.com/potassco/clingo-server/blob/3d6106689c5a8c451089aa48019c909528834080/src/main.rs#L28