Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
.gitignore		.gitignore
README.md		README.md
complex_nested_problem.json		complex_nested_problem.json
convex_complex_problem.json		convex_complex_problem.json
cvxpy_to_json.py		cvxpy_to_json.py
cvxpy_to_lean_json.py		cvxpy_to_lean_json.py
demo_converter.py		demo_converter.py
parameter_problem.json		parameter_problem.json
quadratic_problem.json		quadratic_problem.json
simple_complex_problem.json		simple_complex_problem.json
simple_linear_problem.json		simple_linear_problem.json
solvable_complex_problem.json		solvable_complex_problem.json
test_complex_problem.py		test_complex_problem.py
test_converter.py		test_converter.py
test_convex_complex.py		test_convex_complex.py
test_cvxpy_to_lean_json.py		test_cvxpy_to_lean_json.py
test_data_preservation.py		test_data_preservation.py
test_final_complex.py		test_final_complex.py
test_simple_complex.py		test_simple_complex.py
test_solvable_complex.py		test_solvable_complex.py
variable_names_problem.json		variable_names_problem.json