Related Issues (20)
- implement a strategy that prioritizes sequents with fewer branches first
- Avoid unnecessary cloning of the parent model when evaluating
- remove `chase_all`: move it to test modules
- Consider removing `reference` and `batch` implementation
- Enforce the bounds more accurately on the `relational` implementation
- Use `Rewrite` for `rewrite` in relational model
- rename `PreProcessorEx` HOT 1
- make `pre_process` of `PreProcessorEx` return a `Result` type
- Create `as_...` methods on `Term` to convert the term to `Var`, `App`, and `Const` HOT 1
- Pretty print instrumentation of tracing in relational implementation
- replace documentation hyperlinks with intera-doc linking
- Bug introduced by removing Skolem function tables from sequent queries
- Replace elements with user-defined constants when pretty printing models
- Drop Skolem functions and constants when printing models
- Change the precedence and associativity of implication
- Accept theories that are piped into the razor through stdin
- Provide an option for disabling Razor's logo
- Differential Matching for Chase HOT 1
- Support reading theories form code blocks of markdown files
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from rusty-razor.