☆22Aug 27, 2023Updated 3 years ago
Alternatives and similar repositories for mindoptj
Users that are interested in mindoptj are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The source code for Abstract Meaning Representation-Based Logic-Driven Data Augmentation for Logical Reasoning. #1 on the ReClor Leaderbo…☆18Dec 2, 2025Updated 10 months ago
- Repo for paper "IDOL: Indicator-oriented Logic Pre-training for Logical Reasoning" accepted to the Findings of ACL 2023☆21Nov 7, 2023Updated 2 years ago
- Solver of multiobjective linear optimization problems (MOMIP, MOLP, MOIP, MOCO): generic part☆24May 3, 2023Updated 3 years ago
- Evaluation on Logical Reasoning and Abstract Reasoning Challenges☆31Apr 21, 2025Updated last year
- Official implementations for Discourse-Aware Graph Networks for Textual Logical Reasoning (TPAMI) and DAGN: Discourse-Aware Graph Network…☆28Feb 19, 2026Updated 7 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- The code of Paper "Logic-Driven Context Extension and Data Augmentation for Logical Reasoning of Text".☆48Mar 2, 2023Updated 3 years ago
- Run and manage Shiny applications as background processes.☆15Oct 26, 2023Updated 2 years ago
- ☆19Nov 25, 2023Updated 2 years ago
- R package wrapper for Istanbul Municipality Open Data Portal☆10Apr 24, 2021Updated 5 years ago
- A julia based machine learning package for boosting any loss, activation and constraint.☆10Jun 27, 2019Updated 7 years ago
- ☆15Jun 8, 2023Updated 3 years ago
- GMD problem formulation for PowerModels.jl☆14Jun 2, 2026Updated 4 months ago
- A MATLAB software for convex quadratic semidefinite programming☆15Oct 1, 2020Updated 6 years ago
- Visualize automotive simulation from AutomotiveSimulator.jl☆17Jan 12, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆14Aug 3, 2018Updated 8 years ago
- ☆13Feb 14, 2022Updated 4 years ago
- Modeling library for Power Systems investment models. E.g., Capacity Expansion and Transmission Expansion☆21Updated this week
- QuESt Planning is a long-term power system capacity expansion planning model that identifies cost-optimal energy storage, generation, and…☆18Updated this week
- BuildStockQuery is a python library for querying datasets generated by ResStock™ and ComStock™.☆16Sep 24, 2026Updated 2 weeks ago
- Google ortools binaries and their dependencies, processed for the Python 3.6 runtime on AWS Lambda☆15Jul 2, 2017Updated 9 years ago
- Python Implementation of Monotonic Cubic Interpolation☆18Apr 16, 2019Updated 7 years ago
- open testbench for control and optimization methods for the energy management of a simple solar home☆22Jul 2, 2021Updated 5 years ago
- docs: https://frederikgeth.github.io/PowerModelsReliability.jl/☆14Jun 7, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- An experimental custom seq-2-seq model with both layer-wise (inter-layer), and intra-layer attention (attention to previous hidden states…☆10Nov 30, 2017Updated 8 years ago
- ☆18Nov 6, 2017Updated 8 years ago
- From Symbolic Logic Reasoning to Soft Reasoning: A Neural-Symbolic Paradigm☆12Jul 18, 2022Updated 4 years ago
- Battery charging schedule optimization to minimize lithium-ion battery degradation.☆19Jul 16, 2022Updated 4 years ago
- A Security-Constrained Optimal Power Flow Package for AC/DC grids☆24May 27, 2025Updated last year
- a benchmark suite for testing logical reasoning abilities of prompt-based models☆31Nov 20, 2023Updated 2 years ago
- Inventory-routing problem (IRP) branch-and-cut algorithm using C++ Gurobi's API and CVRPSEP package☆16Jan 21, 2021Updated 5 years ago
- ☆14May 26, 2021Updated 5 years ago
- Generators for Combinatorial Optimization☆20May 16, 2023Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- The gurobi/optimizer image provides a base Docker image for building applications using any of the supported APIs (C, C++, Java, .NET, Py…☆14Sep 28, 2026Updated 2 weeks ago
- An extension package of PowerModels.jl for Stochastic Power System Optimization☆25Oct 14, 2025Updated 11 months ago
- [SIGIR 2022] The implementation of Logiformer☆28Jan 11, 2024Updated 2 years ago
- An environment control module expert system written in PySWIP.☆11Mar 25, 2013Updated 13 years ago
- ☆16Dec 17, 2023Updated 2 years ago
- MCP tool to solve optimization problems using HiGHS☆18Jun 18, 2025Updated last year
- This is a Chinese(Taiwan) localization project of the "An Introduction to GCC" book written by Brian Gough @ http://www.network-theory.co…☆14May 10, 2018Updated 8 years ago