Solver for propositional logic's tableau method
- Application: https://tableau-solver.azurewebsites.net
- API: https://tableau-solver.azurewebsites.net/swagger
- Usage: https://tableau-solver.azurewebsites.net/usage
- .NET Core 2.1 SDK
- 'dotnet restore' on solution before building