monotonic_solver icon indicating copy to clipboard operation
monotonic_solver copied to clipboard

Published 20 hours ago • verified publisher icon advancedresearch
→

Metadata

A monotonic solver designed to be easy to use with Rust enum expressions

Results 2 monotonic_solver issues
Sort by recently updated
recently updated
newest added

Missing assumption search

When you have a goal and some assumptions, but you do not know what is missing. There should be a search that finds some few assumptions to be added such...

bvssvni avatar bvssvni

draft
discussion

Prioritized matching

1 comment

Could probably have scores for solutions such that the "best" solution is picked. Check out semiotic expressions in the ethicophysics repository for some ideas, or I can learn rust and...

epurdy avatar epurdy

← Metadata

44
Stars
4
Forks
Watchers

Owner

verified publisher icon advancedresearch

Metadata

A monotonic solver designed to be easy to use with Rust enum expressions

Back