I have already read some older articles here in the forum on theorem proofers, but the articles are quite old, so I would like to open a new question for here.
So I have the following case: we have a Java project that uses a theorem prover library. In this case, for example, certain expressions are checked for satisfiability. This is an important thing in machine learning. Our problem now is that we have to convert this program into a C# version (thats an option, translate). The C# environment includes several algorithms. This programmed in Java should now be integrated into the C# environment We stand here something on the hose, since it does not give the logic library unfortunately for C#.
In general, I have not found enough in the search for logic libraries or theorem proofers, some articles are very old, so I do not know if that would be so practicable today.
My question is divided into two, for one, which logic libraries or theorem provers are there for C#? Is anyone here experiences? Second, how would you proceed with the described problem of the conversion of Java into C#?
I hope my comments are understandable. I would be very happy about lots of feedback / feedback / tips!