Python code to convert First Order Logic statements to Conjunctive Normal Form
☆17Feb 19, 2019Updated 7 years ago
Alternatives and similar repositories for CNF-Converter
Users that are interested in CNF-Converter are comparing it to the libraries listed below
Sorting:
- A Python program that tries to prove a statement given a set of propositions in first order logic.☆10Jul 13, 2015Updated 10 years ago
- The InvGears workbench for FreeCAD allows the creation of gear systems☆10Apr 25, 2025Updated 10 months ago
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆10Jun 21, 2015Updated 10 years ago
- Tutorial about noisy labels for SIBGRAPI 2020☆11Nov 6, 2020Updated 5 years ago
- Sample Python code that demonstrates how to use the Python client to work with Riak TS (Time Series)☆11Aug 30, 2016Updated 9 years ago
- Simple boilerplate with fastify, knex and graphql☆12Jan 11, 2023Updated 3 years ago
- This is just some simple code (very basic) for messing about with eBPF☆11Jan 10, 2026Updated last month
- Scripts for KGIRNet model for ESWC☆10Jul 6, 2023Updated 2 years ago
- ☆13Aug 25, 2017Updated 8 years ago
- Summaries of findings from Augurs audits☆11Jun 28, 2018Updated 7 years ago
- Get the IP adresses of Bittorrent Peers☆13Oct 14, 2016Updated 9 years ago
- Code for MERMAID : Metaphor Generation with Symbolism and Discriminative Decoding☆11May 2, 2022Updated 3 years ago
- The Meteor 1.4 For Everyone Tutorial Series Code☆11Sep 17, 2016Updated 9 years ago
- go client for baidu/tera☆12Apr 20, 2018Updated 7 years ago
- Experiments from our work Uncertainty Quantification and Deep Ensemble☆10Nov 1, 2021Updated 4 years ago
- A model builder helper for creating graph neural networks akin to the ones described in https://arxiv.org/abs/1806.01261 and https://ie…☆12Apr 18, 2019Updated 6 years ago
- DEPRECATED. We are now using the askcos repositories for Chemhacktica and reverse synthesis.☆13Aug 31, 2024Updated last year
- Python and C++ library to process both experimental and simulation data of colloidal particles.☆15Sep 2, 2021Updated 4 years ago
- ☆12Sep 25, 2015Updated 10 years ago
- Elliptic Curves Cryptography for OCaml☆12Oct 26, 2019Updated 6 years ago
- ☆12May 5, 2021Updated 4 years ago
- RISC-V Formal in Chisel☆12Apr 9, 2024Updated last year
- A CLI tool to generate a new Twilio Functions project that can be run locally with twilio-run.☆13Feb 3, 2022Updated 4 years ago
- CDCL SAT-solver for GPUs☆12May 5, 2017Updated 8 years ago
- Extract data from text files or log files using regular expressions☆16Feb 27, 2016Updated 10 years ago
- Strongly-typed OCaml overlay for Go-Ethereum (geth)☆11Nov 25, 2020Updated 5 years ago
- Simplistic demo app using MS SQL instead of mongo☆12Dec 22, 2016Updated 9 years ago
- Analysis of the results of the paper "Predicting the direction of stock market prices using random forest" (2016) by Khaidem et al.☆13Aug 25, 2019Updated 6 years ago
- Experiments to simplify the DX of react-apollo☆18Nov 17, 2016Updated 9 years ago
- ROIAlign from Mask-RCNN☆14May 16, 2018Updated 7 years ago
- RTCPeerConnection wrapper for purists. No dependencies (just ~1.5KB gzipped).☆14Mar 6, 2016Updated 9 years ago
- Source code to "SliTraNet: Automatic Detection of Slide Transitions in Lecture Videos using Convolutional Neural Networks"☆10Dec 17, 2023Updated 2 years ago
- R packaged for Alpine Linux☆10Dec 10, 2017Updated 8 years ago
- A general-purpose privacy-preserving Analytics platform!☆10Mar 27, 2019Updated 6 years ago
- OnionSprout is a tool to run publicaly-accessible web services, for example from Raspberry Pi in your home, without a public IP.☆11Oct 3, 2020Updated 5 years ago
- Experiences in Procedural Generation☆10Jan 10, 2016Updated 10 years ago
- SpecLLM: Exploring Generation and Review of VLSI Design Specification with Large Language Model☆15Jan 29, 2024Updated 2 years ago
- Translate words using Wikipedia data☆18Jan 7, 2023Updated 3 years ago
- An interpreter of well-formed formulas in propositional calculus.☆10Jan 5, 2015Updated 11 years ago