AMurashkin

University of Waterloo, GSD LabWaterloo, Canada

Pinned Repositories

chocosolver
Alternative backend for Clafer using the Choco solver.
Language:Java0 1 00
ClaferChocoSoo
Uses ChocoSolver to run single-objective optimization on a Clafer file and produce results in ClaferMoo format.
Language:Java00
Portfolio
Language:CSS00
ClaferChocoSoo
Uses ChocoSolver to run single-objective optimization on a Clafer file and produce results in ClaferMoo format.
Language:Java1 5 02
ClaferConfigurator
An interactive, web-based, configurator for Clafer models.
Language:JavaScript1 10 24
ClaferIDE
Web-Based Development Environment for Clafer
Language:JavaScript1 9 33
ClaferMooVisualizer
An interactive tool for the visualization and exploration of the set of Pareto-optimal variants generated by ClaferMoo.
Language:JavaScript5 12 64
CS745
CourseProject: error fixing suggeston
Language:JavaScript00

AMurashkin's Repositories

AMurashkin/chocosolver
Alternative backend for Clafer using the Choco solver.
Language:Java0 1 00
AMurashkin/ClaferChocoSoo
Uses ChocoSolver to run single-objective optimization on a Clafer file and produce results in ClaferMoo format.
Language:Java00
AMurashkin/Portfolio
Language:CSS00