Sat4j is a full featured boolean reasoning library designed to bring state-of-the-art SAT technologies to the Java Virtual Machine.
-
Updated
Jul 11, 2022 - PowerShell
#
ikvm
Here are 2 public repositories matching this topic...
JSqlParser.NET parses an SQL statement and translate it into a hierarchy of .NET classes. The generated hierarchy can be navigated using the Visitor Pattern
-
Updated
Sep 7, 2020 - PowerShell
Improve this page
Add a description, image, and links to the ikvm topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the ikvm topic, visit your repo's landing page and select "manage topics."