clause

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.

Safely evaluate JavaScript (estree) expressions, sync and async.

Add context awareness to your apps and frameworks by safely evaluating user-defined conditional expressions. Useful for evaluating expressions in config files, prompts, key bindings, completions, templates, and many other user cases.

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 Python package for working with Conjunctive Normal Form (CNFs) and Boolean Satisfiability (SAT)

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

A method to enumerate top-k cliques.

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.

Java Sample Project for Chatopera Clause

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

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

Simple Horn Clause Reasoner

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

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