A simple, fluent, extensible, and fully customizable library for throwing exceptions for projects using .NET 6+

Smart Legal Contracts & Templating System

A modular sat/smt solver with proof output.

FluentSql library creates Sql statements from C# Sql like syntax and uses Dapper for execution.

Turn your url query string into sql where clause

NACRE : Nogood And Clause Reasoning Engine

A simple package with extension methods to forbid some value matches,logical values or ranges in .Net

🐓 Guard clauses for JS

A method to enumerate top-k cliques.

A c++17 database wrapper with easy to use syntax and active-record pattern.

NACRE : Nogood And Clause Reasoning Engine

This library provides guard clauses that could be used to guard against not expected values. It provides conditions for objects, strings, numerics, datatime and enumerables. It is possible to configure which exception should be thrown.

A Python package for working with Conjunctive Normal Form (CNFs) and Boolean Satisfiability (SAT)

SQL Logical Clauses Coverage Testing Tool

Java Sample Project for Chatopera Clause

Solver algorithm in #3 Paper: Diversified Top-K MaxSAT Solving with MaxSAT

Simple Horn Clause Reasoner

A Certifier algorithm to check a particular solution to the NP-Complete 3-Sat problem

This repository contains the explanation of Oracle SQL set operators. UNION, UNION ALL, INTERSECT, MINUS,

I learnt how to use partition clause in oracle live sql database..