kdahlgren / iapyx Goto Github PK
View Code? Open in Web Editor NEWA stand-alone translator for Dedalus programs.
License: MIT License
iapyx's People
Contributors
Stargazers
Watchers
iapyx's Issues
Allow olg program input.
Implement combo approach with sip-idb constraints.
Fix dm conversion speed in dm_huge process.
Make fast dm conversion logic already available for sip-idb available in dm_huge.
dm_huge/dm_sip_idb/combo_sip_idb decision at runtime.
Each approach possesses a complexity trade-off dependent upon the number of rules and the number of subgoals per negated idb rule.
Choose the best approach automatically per negated idb rewrite to minimize final program lengths.
DNF conversion is freakin slow???
Why? Need something faster than sympy?
Implement ludascher rewrites.
Optimize DM rewrites.
Ensure not_ rules only contain existential subgoals if necessary.
Eliminate post-EOT tuples from NW rewrite eval results.
Integrate combo approach into master branch.
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.