Skip to content

Activity

Showing most recent first

Pip instead of conda installation

samyswebpushed 1 commit to other-smt • 96d9059…0c3c65b • 
6 days ago

In some cases the "normal" SMT interface of NCubeV seems to produce s…

samyswebcreated other-smt • 96d9059 • 
6 days ago

Merge pull request #2 from samysweb/iterative

Pull request merge
samyswebpushed 3 commits to improved-parsing • aad1add…69dcdd2 • 
6 days ago

Build.sh update

samyswebpushed 1 commit to iterative • deb563a…047a707 • 
6 days ago

Iterative NNEnum Interface

samyswebcreated iterative • deb563a • 
on Feb 2

- Substitution of variables (incl. fold)

samyswebpushed 1 commit to smt_refactoring • 121bfed…be824cd • 
on Nov 26, 2024

Linear/Nonlinear feasibility checks (+tests)

samyswebpushed 1 commit to smt_refactoring • 92dd9df…121bfed • 
on Nov 26, 2024

Improved management of side constraints

samyswebpushed 2 commits to smt_refactoring • eaf87aa…92dd9df • 
on Nov 25, 2024

Refactored, Updated and Tested Z3 Integration (still missing refactor…

samyswebcreated smt_refactoring • eaf87aa • 
on Nov 25, 2024

gitignore

samyswebpushed 1 commit to improved-parsing • f54299a…aad1add • 
on Nov 20, 2024

Fix for isMax predicate (equality had issues for non-variable terms)

samyswebpushed 3 commits to improved-parsing • ef246c6…f54299a • 
on Nov 20, 2024

Some more plots

Force push
samyswebforce pushed to improved-parsing • 061e2fa…ef246c6 • 
on Oct 23, 2024

Some more plots

samyswebpushed 1 commit to improved-parsing • 1b608cf…061e2fa • 
on Oct 23, 2024

Merge branch 'improved-parsing' of github.com:samysweb/NCubeV into im…

samyswebpushed 2 commits to improved-parsing • 061af19…1b608cf • 
on Oct 16, 2024

NeurIPS paper reference

samyswebpushed 1 commit to improved-parsing • 7a1150c…061af19 • 
on Oct 11, 2024

Reverting to pip

samyswebpushed 1 commit to improved-parsing • 8aa16ef…7a1150c • 
on Aug 21, 2024

Fixed installation of onnxruntim

samyswebpushed 1 commit to improved-parsing • 11142a7…8aa16ef • 
on Aug 21, 2024

Conda instead of pip install?

samyswebpushed 1 commit to improved-parsing • 04baf18…11142a7 • 
on Aug 21, 2024

Attempt to fix ARM64 incompatibility

samyswebpushed 1 commit to improved-parsing • d54a7bb…04baf18 • 
on Aug 21, 2024

Increased stability w.r.t. evnrionments with preinstalled python vers…

samyswebpushed 1 commit to improved-parsing • 9fb267e…d54a7bb • 
on Aug 19, 2024

Merge pull request #1 from samysweb/fix-runlim

Pull request merge
samyswebpushed 2 commits to improved-parsing • dc04e21…9fb267e • 
on Jul 4, 2024

remove runlim

samyswebpushed 1 commit to fix-runlim • dc04e21…fdd9c0f • 
on Jul 4, 2024

Citation

samyswebcreated fix-runlim • dc04e21 • 
on Jul 4, 2024

Citation

samyswebpushed 1 commit to improved-parsing • 7865b8d…dc04e21 • 
on Jun 24, 2024

Note on PicoSAT compatibility

samyswebpushed 1 commit to improved-parsing • d312378…7865b8d • 
on Jun 24, 2024

moved from ssh to https git for submodules

Force push
samyswebforce pushed to improved-parsing • 0d70153…d312378 • 
on Jun 24, 2024

moved from ssh to https git for submodules

samyswebpushed 1 commit to improved-parsing • d44bb6a…0d70153 • 
on Jun 24, 2024

Some more documentation

samyswebpushed 1 commit to improved-parsing • 15a9ebf…d44bb6a • 
on Jun 21, 2024

Made submodules pull part of build

samyswebpushed 1 commit to improved-parsing • 6807dad…15a9ebf • 
on Jun 21, 2024

Removed outdated install file

samyswebpushed 1 commit to improved-parsing • a0c3cad…6807dad • 
on Jun 21, 2024